Amit Paradkar
Amit Paradkar
IBM Research
Verified email at
Cited by
Cited by
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
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
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
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
A software flaw taxonomy: aiming tools at security
S Weber, PA Karger, A Paradkar
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 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
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
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
Use cases to process specifications in business process modeling notation
A Sinha, A Paradkar
2010 IEEE International Conference on Web Services, 473-480, 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
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
Specification‐based testing using cause‐effect graphs
A Paradkar, KC Tai, MA Vouk
Annals of Software Engineering 4, 133-157, 1997
Automatic test-generation for predicates [software testing]
A Paradkar, KC Tai, MA Vouk
IEEE Transactions on reliability 45 (4), 515-530, 1996
Empirical studies of predicate-based software testing
MA Vouk, KC Tai, A Paradkar
Proceedings of 1994 IEEE International Symposium on Software Reliability …, 1994
Evaluation of a predicate-based software testing strategy
KC Tai, MA Vouk, AM Paradkar, P Lu
IBM Systems Journal 33 (3), 445-457, 1994
Test generation for Boolean expressions
A Paradkar, KC Tai
Proceedings of Sixth International Symposium on Software Reliability …, 1995
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
Toward engineered, useful use cases.
C Williams, M Kaplan, T Klinger, AM Paradkar
J. Object Technol. 4 (6), 45-57, 2005
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
Case studies on fault detection effectiveness of model based test generation techniques
A Paradkar
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
The system can't perform the operation now. Try again later.
Articles 1–20