Mukul R Prasad

Cited by

	All	Since 2018
Citations	4149	2209
h-index	28	20
i10-index	61	33

500

250

125

375

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320 25 31 37 68 50 62 79 77 78 56 91 154 196 251 280 293 375 388 420 448 488 88

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. SahaFujitsu Lab of AmericaVerified email at utexas.edu
Shauvik Roy Choudhary, PhDGeorgia Institute of TechnologyVerified email at gatech.edu
Wei YangAssistant Professor, Department of Computer Science, University of Texas at DallasVerified email at utdallas.edu
Alex HornAppleVerified email at apple.com
Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
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
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Yingjun LyuApplied Scientist, AWS SecurityVerified email at amazon.com
Michael HsiaoProfessor, Virginia Tech, IEEE FellowVerified email at vt.edu
Eugene GoldbergNortheastern UniversityVerified email at ccs.neu.edu
Casper Svenning JensenGraduared Ph.D., Aarhus UniversityVerified email at cs.au.dk
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
Sonal MahajanProgramming Systems Group, Uber Technologies Inc.Verified email at uber.com
Ali KheradmandUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Kurt KeutzerProfessor of the Graduate School, EECS, University of California, BerkeleyVerified email at berkeley.edu
Rohan BavishiCS PhD Student in Programming Systems, University of California, BerkeleyVerified email at berkeley.edu
Aarti GuptaPrinceton UniversityVerified email at cs.princeton.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 Fundamental Approaches to Software Engineering: 16th International …, 2013	398	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	394	2005
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	250	2013
Using SAT for combinational equivalence checking EI Goldberg, MR Prasad, RK Brayton Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001	246	2001
Determining differences in an event-driven application accessed in different client-tier environments MR Prasad, A Mesbah US Patent 9,032,067, 2015	221	2015
Elixir: Effective object-oriented program repair RK Saha, Y Lyu, H Yoshida, MR Prasad 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017	200	2017
Automated cross-browser compatibility testing A Mesbah, MR Prasad Proceedings of the 33rd International Conference on Software Engineering …, 2011	198	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	147	2016
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	145	2018
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	141	2013
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	118	2012
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	106	2014
Why is ATPG easy? MR Prasad, P Chong, K Keutzer Proceedings of the 36th Annual ACM/IEEE Design Automation Conference, 22-28, 1999	100	1999
Delta-net: Real-time Network Verification Using Atoms. A Horn, A Kheradmand, MR Prasad NSDI 17, 735-749, 2017	99	2017
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	86	2020
Harnessing evolution for multi-hunk program repair S Saha 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019	80	2019
Domino logic synthesis and technology mapping MR Prasad Proc. Int. Workshop on Logic Synthesis, May 1997, 1997	60	1997
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	58	2019
Using symbolic execution to check global temporal requirements in an application MR Prasad, I Ghosh, SP Rajan US Patent 8,359,576, 2013	45	2013
Facilitating automated validation of a web application MR Prasad, SP Rajan US Patent 9,104,809, 2015	41	2015

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