Amit Paradkar
Amit Paradkar
IBM Research
Verified email at us.ibm.com
Title
Cited by
Cited by
Year
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
2052010
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
2022008
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
1592012
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
1212012
A software flaw taxonomy: aiming tools at security
S Weber, PA Karger, A Paradkar
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
1082005
Text2Test: Automated inspection of natural language use cases
A Sinha, SM Sutton Jr, A Paradkar
2010 Third International Conference on Software Testing, Verification and …, 2010
902010
An Introduction to Citadel: a secure crypto coprocessor for workstations
ER Palmer
IBM TJ Watson Research Center, 1992
831992
Time will tell
C Yilmaz, A Paradkar, C Williams
2008 ACM/IEEE 30th International Conference on Software Engineering, 81-90, 2008
742008
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
722006
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
632009
Use cases to process specifications in business process modeling notation
A Sinha, A Paradkar
2010 IEEE International Conference on Web Services, 473-480, 2010
562010
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
522007
Specification‐based testing using cause‐effect graphs
A Paradkar, KC Tai, MA Vouk
Annals of Software Engineering 4 (1), 133-157, 1997
421997
Automatic test-generation for predicates [software testing]
A Paradkar, KC Tai, MA Vouk
IEEE Transactions on reliability 45 (4), 515-530, 1996
401996
Empirical studies of predicate-based software testing
MA Vouk, KC Tai, A Paradkar
Proceedings of 1994 IEEE International Symposium on Software Reliability …, 1994
391994
Evaluation of a predicate-based software testing strategy
KC Tai, MA Vouk, AM Paradkar, P Lu
IBM Systems Journal 33 (3), 445-457, 1994
351994
Toward engineered, useful use cases.
C Williams, M Kaplan, T Klinger, AM Paradkar
J. Object Technol. 4 (6), 45-57, 2005
342005
Test generation for Boolean expressions
A Paradkar, KC Tai
Proceedings of Sixth International Symposium on Software Reliability …, 1995
341995
Case studies on fault detection effectiveness of model based test generation techniques
A Paradkar
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
282005
Less is more: A minimalistic approach to uml model-based conformance test generation
M Kaplan, T Klinger, AM Paradkar, A Sinha, C Williams, C Yilmaz
2008 1st International Conference on Software Testing, Verification, and …, 2008
252008
The system can't perform the operation now. Try again later.
Articles 1–20