Amit M. Paradkar - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

2009

A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use casesAvik Sinha, Amit M. Paradkar, Palani Kumanan, Branimir Boguraev. dsn 2009: 327-336 [doi]

2008

2007

Domain specific approaches to software test automationAlan Hartman, Mika Katara, Amit M. Paradkar. ESEC/FSE 2007: 621-622 [doi]

Domain specific approaches to software test automationAlan Hartman, Mika Katara, Amit M. Paradkar. ESEC/FSE 2007: 621-622 [doi]

Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007Alan Hartman, Mika Katara, Amit M. Paradkar, editors, ACM, 2007.

Automated Functional Conformance Test Generation for Semantic Web ServicesAmit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang. icws 2007: 110-117 [doi]

Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007Hong Zhu, W. Eric Wong, Amit M. Paradkar, editors, IEEE, 2007.

Automation of Software Test - Report on the Second Interional Workshop AST 2007Hong Zhu, W. Eric Wong, Amit M. Paradkar. ICSE 2007: 150-151 [doi]

2006

A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniquesAmit M. Paradkar. INFSOF, 48(10):949-959, 2006. [doi]

Model-based functional conformance testing of web services operating on persistent dataAvik Sinha, Amit M. Paradkar. ISSTA 2006: 17-22 [doi]

2005

2004

2003

Selecting Small Yet Effective Set of Test DataAmit M. Paradkar. appinf 2003: 1013-1019

Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive SystemsAmit M. Paradkar. SAC 2003: 1110-1117

2000

SALT - An Integrated Environment to Automate Generation of Function Tests for APIsAmit M. Paradkar. issre 2000: 304-316 [doi]

1997

Specification-Based Testing Using Cause-Effect GraphsAmit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk. ansoft, 4:133-157, 1997.

1996

Inter-class testing of O-O software in the presence of polymorphismAmit M. Paradkar. cascon 1996: 30 [doi]

1995

A new solution to test generation for Boolean expressionsAmit M. Paradkar. cascon 1995: 48 [doi]

1994

On the experience of using cause-effect graphs for software specification and test generationAmit M. Paradkar. cascon 1994: 51 [doi]

Evaluation of a Predicate-Based Software Testing StrategyKuo-Chung Tai, Mladen A. Vouk, Amit M. Paradkar, Peng Lu. IBMSJ, 33(3):445-457, 1994.

1993

Fault-based test generation for cause-effect graphsKuo-Chung Tai, Amit M. Paradkar, Hsun-Kang Su, Mladen A. Vouk. cascon 1993: 495-504 [doi]