| Inferring method specifications from natural language API descriptions R Pandita, X Xiao, H Zhong, T Xie, S Oney, A Paradkar 2012 34th international conference on software engineering (ICSE), 815-825, 2012 | 242 | 2012 |
| Finding bugs in web applications using dynamic test generation and explicit-state model checking S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst IEEE Transactions on Software Engineering 36 (4), 474-494, 2010 | 223 | 2010 |
| Finding bugs in dynamic web applications S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst Proceedings of the 2008 international symposium on Software testing and …, 2008 | 222 | 2008 |
| Automated extraction of security policies from natural-language software documents X Xiao, A Paradkar, S Thummalapenta, T Xie Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 184 | 2012 |
| A software flaw taxonomy: aiming tools at security S Weber, PA Karger, A Paradkar ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005 | 119 | 2005 |
| Text2Test: Automated inspection of natural language use cases A Sinha, SM Sutton, A Paradkar 2010 Third International Conference on Software Testing, Verification and …, 2010 | 107 | 2010 |
| Time will tell: fault localization using time spectra C Yilmaz, A Paradkar, C Williams Proceedings of the 30th international conference on Software engineering, 81-90, 2008 | 85 | 2008 |
| Model-based functional conformance testing of web services operating on persistent data A Sinha, A Paradkar Proceedings of the 2006 workshop on Testing, analysis, and verification of …, 2006 | 79 | 2006 |
| Use cases to process specifications in business process modeling notation A Sinha, A Paradkar 2010 IEEE International Conference on Web Services, 473-480, 2010 | 73 | 2010 |
| A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases A Sinha, A Paradkar, P Kumanan, B Boguraev 2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009 | 70 | 2009 |
| Automated functional conformance test generation for semantic web services AM Paradkar, A Sinha, C Williams, RD Johnson, S Outterson, C Shriver, ... IEEE International Conference on Web Services (ICWS 2007), 110-117, 2007 | 54 | 2007 |
| Specification‐based testing using cause‐effect graphs A Paradkar, KC Tai, MA Vouk Annals of Software Engineering 4, 133-157, 1997 | 51 | 1997 |
| Automatic test-generation for predicates [software testing] A Paradkar, KC Tai, MA Vouk IEEE Transactions on reliability 45 (4), 515-530, 1996 | 43 | 1996 |
| Empirical studies of predicate-based software testing MA Vouk, KC Tai, A Paradkar Proceedings of 1994 IEEE International Symposium on Software Reliability …, 1994 | 40 | 1994 |
| Localization of operational faults in cloud applications by mining causal dependencies in logs using golden signals P Aggarwal, A Gupta, P Mohapatra, S Nagar, A Mandal, Q Wang, ... International Conference on Service-Oriented Computing, 137-149, 2020 | 39 | 2020 |
| Evaluation of a predicate-based software testing strategy KC Tai, MA Vouk, AM Paradkar, P Lu IBM Systems Journal 33 (3), 445-457, 1994 | 37 | 1994 |
| Cobots-a cognitive multi-bot conversational framework for technical support S Subramaniam, P Aggarwal, GB Dasgupta, A Paradkar Proceedings of the 17th International Conference on Autonomous Agents and …, 2018 | 36 | 2018 |
| Test generation for Boolean expressions A Paradkar, KC Tai Proceedings of Sixth International Symposium on Software Reliability …, 1995 | 36 | 1995 |
| Toward engineered, useful use cases. C Williams, M Kaplan, T Klinger, AM Paradkar J. Object Technol. 4 (6), 45-57, 2005 | 34 | 2005 |
| Case studies on fault detection effectiveness of model based test generation techniques A Paradkar ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005 | 30 | 2005 |
