Folgen
Mukul R Prasad
Mukul R Prasad
AWS Science
Bestätigte E-Mail-Adresse bei amazon.com
Titel
Zitiert von
Zitiert von
Jahr
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
4482013
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
4182005
Using SAT for combinational equivalence checking
EI Goldberg, MR Prasad, RK Brayton
Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001
2752001
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
2702013
Elixir: Effective object-oriented program repair
RK Saha, Y Lyu, H Yoshida, MR Prasad
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
2692017
Determining differences in an event-driven application accessed in different client-tier environments
MR Prasad, A Mesbah
US Patent 9,032,067, 2015
2592015
Automated cross-browser compatibility testing
A Mesbah, MR Prasad
Proceedings of the 33rd International Conference on Software Engineering …, 2011
2162011
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
2062018
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
1752016
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
1542013
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
1432020
Harnessing evolution for multi-hunk program repair
S Saha
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
1282019
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
1272012
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
1242014
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
1232017
Why is ATPG easy?
MR Prasad, P Chong, K Keutzer
Proceedings of the 36th Annual ACM/IEEE Design Automation Conference, 22-28, 1999
1071999
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
882019
Domino logic synthesis and technology mapping
MR Prasad
Proc. Int. Workshop on Logic Synthesis, May 1997, 1997
621997
Using symbolic execution to check global temporal requirements in an application
MR Prasad, I Ghosh, SP Rajan
US Patent 8,359,576, 2013
542013
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
442014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20