| 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 | 420 | 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 | 125 | 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 |
Indradeep GhoshFujitsu Labs. of America在 us.fujitsu.com 的电子邮件经过验证
