Mukul R Prasad

Cited by

	All	Since 2020
Citations	5034	2299
h-index	29	19
i10-index	67	30

500

250

125

375

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202522 28 30 37 67 52 61 78 78 78 55 93 152 201 251 280 297 377 392 429 450 480 490 429 21

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Indradeep GhoshFujitsu Labs. of AmericaVerified email at us.fujitsu.com
Hiroaki YoshidaPrincipal Software Engineer at AMDVerified email at amd.com
Ripon K. SahaMeta/FacebookVerified email at utexas.edu
Shauvik Roy Choudhary, PhDUber, Programming SystemsVerified email at uber.com
Alex HornAppleVerified email at apple.com
Wei YangAssociate Professor, Department of Computer Science, University of Texas at DallasVerified email at utdallas.edu
Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
Sonal MahajanProgramming Systems Group, Uber Technologies Inc.Verified email at uber.com
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Yingjun LyuApplied Scientist, AWS SecurityVerified email at amazon.com
Ali MesbahProfessor, University of British ColumbiaVerified email at ece.ubc.ca
Tao XiePeking University Chair Professor, Chair of Department of Software Science and Engineering@PKUVerified email at pku.edu.cn
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
Masahiro FujitaUniversity of TokyoVerified email at ee.t.u-tokyo.ac.jp
Eugene GoldbergNortheastern UniversityVerified email at ccs.neu.edu
Michael HsiaoProfessor, Virginia Tech, IEEE FellowVerified email at vt.edu
Casper Svenning JensenGraduared Ph.D., Aarhus UniversityVerified email at cs.au.dk
Xiang GaoBeihang UniversityVerified email at buaa.edu.cn
Ali KheradmandGoogleVerified email at google.com
Kurt KeutzerProfessor of the Graduate School, EECS, University of California, BerkeleyVerified email at berkeley.edu

Mukul R Prasad

AWS Science

Verified email at amazon.com

software engineering software analytics software testing software maintenance


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A grey-box approach for automated GUI-model generation of mobile applications W Yang, MR Prasad, T Xie International Conference on Fundamental Approaches to Software Engineering …, 2013	457	2013
A survey of recent advances in SAT-based formal verification MR Prasad, A Biere, A Gupta International Journal on Software Tools for Technology Transfer 7, 156-173, 2005	424	2005
Elixir: Effective object-oriented program repair RK Saha, Y Lyu, H Yoshida, MR Prasad 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017	284	2017
Using SAT for combinational equivalence checking EI Goldberg, MR Prasad, RK Brayton Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001	283	2001
Automated testing with targeted event sequence generation CS Jensen, MR Prasad, A Møller Proceedings of the 2013 International Symposium on Software Testing and …, 2013	281	2013
Determining differences in an event-driven application accessed in different client-tier environments MR Prasad, A Mesbah US Patent 9,032,067, 2015	264	2015
Bugs. jar: A large-scale, diverse dataset of real-world java bugs RK Saha, Y Lyu, W Lam, H Yoshida, MR Prasad Proceedings of the 15th international conference on mining software …, 2018	221	2018
Automated cross-browser compatibility testing A Mesbah, MR Prasad Proceedings of the 33rd International Conference on Software Engineering …, 2011	221	2011
Anti-patterns in search-based program repair SH Tan, H Yoshida, MR Prasad, A Roychoudhury Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	179	2016
Fuzz testing based data augmentation to improve robustness of deep neural networks X Gao, RK Saha, MR Prasad, A Roychoudhury Proceedings of the acm/ieee 42nd international conference on software …, 2020	155	2020
X-PERT: Accurate identification of cross-browser issues in web applications SR Choudhary, MR Prasad, A Orso 2013 35th International Conference on Software Engineering (ICSE), 702-711, 2013	155	2013
Harnessing evolution for multi-hunk program repair S Saha 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019	142	2019
Automated generation of oracles for testing user-interaction features of mobile apps RN Zaeem, MR Prasad, S Khurshid 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014	132	2014
Delta-net: Real-time network verification using atoms A Horn, A Kheradmand, M Prasad 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2017	130	2017
Crosscheck: Combining crawling and differencing to better detect cross-browser incompatibilities in web applications SR Choudhary, MR Prasad, A Orso 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	129	2012
Why is ATPG easy? MR Prasad, P Chong, K Keutzer Proceedings of the 36th Annual ACM/IEEE Design Automation Conference, 22-28, 1999	108	1999
Phoenix: Automated data-driven synthesis of repairs for static analysis violations R Bavishi, H Yoshida, MR Prasad Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019	92	2019
Domino logic synthesis and technology mapping MR Prasad Proc. Int. Workshop on Logic Synthesis, May 1997, 1997	62	1997
Using symbolic execution to check global temporal requirements in an application MR Prasad, I Ghosh, SP Rajan US Patent 8,359,576, 2013	54	2013
X-PERT: a web application testing tool for cross-browser inconsistency detection S Roy Choudhary, MR Prasad, A Orso Proceedings of the 2014 International Symposium on Software Testing and …, 2014	45	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors