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 | 442 | 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 | 416 | 2005 |
Using SAT for combinational equivalence checking EI Goldberg, MR Prasad, RK Brayton Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001 | 273 | 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 | 269 | 2013 |
Elixir: Effective object-oriented program repair RK Saha, Y Lyu, H Yoshida, MR Prasad 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 258 | 2017 |
Determining differences in an event-driven application accessed in different client-tier environments MR Prasad, A Mesbah US Patent 9,032,067, 2015 | 255 | 2015 |
Automated cross-browser compatibility testing A Mesbah, MR Prasad Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 211 | 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 | 200 | 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 | 170 | 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 | 152 | 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 | 132 | 2020 |
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 | 125 | 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 | 121 | 2014 |
Harnessing evolution for multi-hunk program repair S Saha 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 116 | 2019 |
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 | 114 | 2017 |
Why is ATPG easy? MR Prasad, P Chong, K Keutzer Proceedings of the 36th Annual ACM/IEEE Design Automation Conference, 22-28, 1999 | 106 | 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 | 84 | 2019 |
Domino logic synthesis and technology mapping MR Prasad Proc. Int. Workshop on Logic Synthesis, May 1997, 1997 | 63 | 1997 |
Using symbolic execution to check global temporal requirements in an application MR Prasad, I Ghosh, SP Rajan US Patent 8,359,576, 2013 | 53 | 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 |