עקוב אחר
Mukul R Prasad
Mukul R Prasad
AWS Science
כתובת אימייל מאומתת בדומיין amazon.com
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
4222005
Elixir: Effective object-oriented program repair‏
RK Saha, Y Lyu, H Yoshida, MR Prasad‏
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017‏
2842017
Using SAT for combinational equivalence checking‏
EI Goldberg, MR Prasad, RK Brayton‏
Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001‏
2812001
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‏
2742013
Determining differences in an event-driven application accessed in different client-tier environments‏
MR Prasad, A Mesbah‏
US Patent 9,032,067, 2015‏
2712015
Automated cross-browser compatibility testing‏
A Mesbah, MR Prasad‏
Proceedings of the 33rd International Conference on Software Engineering …, 2011‏
2222011
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‏
2202018
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‏
1792016
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‏
1592020
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
Harnessing evolution for multi-hunk program repair‏
S Saha‏
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019‏
1462019
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‏
1342014
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‏
1312012
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‏
1302017
Why is ATPG easy?‏
MR Prasad, P Chong, K Keutzer‏
Proceedings of the 36th Annual ACM/IEEE Design Automation Conference, 22-28, 1999‏
1061999
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‏
942019
Domino logic synthesis and technology mapping‏
MR Prasad‏
Proc. Int. Workshop on Logic Synthesis, May 1997, 1997‏
631997
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‏
462014
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20