Mukul R Prasad

Cited by

	All	Since 2019
Citations	4899	2557
h-index	29	21
i10-index	66	33

500

250

125

375

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202422 28 30 37 67 52 61 78 79 78 55 95 151 200 251 279 297 375 390 428 447 479 483 329

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, PhDGeorgia Institute of TechnologyVerified email at gatech.edu
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
Eugene GoldbergNortheastern UniversityVerified email at ccs.neu.edu
Michael HsiaoProfessor, Virginia Tech, IEEE FellowVerified email at vt.edu
Rohan BavishiCS PhD Student in Programming Systems, University of California, BerkeleyVerified email at berkeley.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	449	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	421	2005
Using SAT for combinational equivalence checking EI Goldberg, MR Prasad, RK Brayton Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001	277	2001
Elixir: Effective object-oriented program repair RK Saha, Y Lyu, H Yoshida, MR Prasad 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017	274	2017
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	270	2013
Determining differences in an event-driven application accessed in different client-tier environments MR Prasad, A Mesbah US Patent 9,032,067, 2015	260	2015
Automated cross-browser compatibility testing A Mesbah, MR Prasad Proceedings of the 33rd International Conference on Software Engineering …, 2011	216	2011
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	209	2018
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	175	2016
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	154	2013
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	147	2020
Harnessing evolution for multi-hunk program repair S Saha 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019	132	2019
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	127	2012
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	126	2017
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	126	2014
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	88	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	44	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