Amit M. Paradkar

	2008
29		Cemal Yilmaz, Amit M. Paradkar, Clay Williams: Time will tell: fault localization using time spectra. ICSE 2008: 81-90
28		Amit M. Paradkar, Avik Sinha: Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. ICSOC 2008: 551-557
27		Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz: Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. ICST 2008: 82-91
26		Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding bugs in dynamic web applications. ISSTA 2008: 261-272
25		Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams: Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. MoDELS 2008: 97-112
	2007
24		Alan Hartman, Mika Katara, Amit M. Paradkar: Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007 ACM 2007
23		Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE 2007: 621-622
22		Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (Companion) 2007: 621-622
21		Hong Zhu, W. Eric Wong, Amit M. Paradkar: Automation of Software Test - Report on the Second Interional Workshop AST 2007. ICSE Companion 2007: 150-151
20		Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang: Automated Functional Conformance Test Generation for Semantic Web Services. ICWS 2007: 110-117
	2006
19		Avik Sinha, Amit M. Paradkar: Model-based functional conformance testing of web services operating on persistent data. TAV-WEB 2006: 17-22
18		Amit M. Paradkar: A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques. Information & Software Technology 48(10): 949-959 (2006)
	2005
17		Amit M. Paradkar: Case studies on fault detection effectiveness of model based test generation techniques. A-MOST 2005
16		Sam Weber, Paul A. Karger, Amit M. Paradkar: A software flaw taxonomy: aiming tools at security. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
15		Amit M. Paradkar: Case studies on fault detection effectiveness of model based test generation techniques. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
14		Clay Williams, Matthew Kaplan, Tim Klinger, Amit M. Paradkar: Toward Engineered, Useful Use Cases. Journal of Object Technology 4(6): 45-57 (2005)
	2004
13		Amit M. Paradkar, Tim Klinger: Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. COMPSAC 2004: 342-348
12		Donald P. Pazel, Pradeep Varma, Amit M. Paradkar, Beth Tibbitts, Ashok Anand, Philippe Charles: A Framework and Tool for Porting Assessment and Remediation. ICSM 2004: 504
11		Amit M. Paradkar: Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications. ISSRE 2004: 173-184
10		Amit M. Paradkar: Towards model-based generation of self-priming and self-checking conformance tests for interactive system. Information & Software Technology 46(5): 315-322 (2004)
	2003
9		Amit M. Paradkar: Selecting Small Yet Effective Set of Test Data. Applied Informatics 2003: 1013-1019
8		Amit M. Paradkar: Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems. SAC 2003: 1110-1117
	2000
7		Amit M. Paradkar: SALT - An Integrated Environment to Automate Generation of Function Tests for APIs. ISSRE 2000: 304-316
	1997
6		Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk: Specification-Based Testing Using Cause-Effect Graphs. Ann. Software Eng. 4: 133-157 (1997)
	1996
5		Amit M. Paradkar: Inter-class testing of O-O software in the presence of polymorphism. CASCON 1996: 30
	1995
4		Amit M. Paradkar: A new solution to test generation for Boolean expressions. CASCON 1995: 48
	1994
3		Amit M. Paradkar: On the experience of using cause-effect graphs for software specification and test generation. CASCON 1994: 51
2		Kuo-Chung Tai, Mladen A. Vouk, Amit M. Paradkar, Peng Lu: Evaluation of a Predicate-Based Software Testing Strategy. IBM Systems Journal 33(3): 445-457 (1994)
	1993
1		Kuo-Chung Tai, Amit M. Paradkar, Hsun-Kang Su, Mladen A. Vouk: Fault-based test generation for cause-effect graphs. CASCON 1993: 495-504

Coauthor Index

1	Ashok Anand	[12]
2	Shay Artzi	[26]
3	Philippe Charles	[12]
4	Danny Dig	[26]
5	Julian Dolby	[26]
6	Michael D. Ernst	[26]
7	Alan Hartman	[22] [23] [24]
8	Robert D. Johnson	[20]
9	Matthew Kaplan	[14] [25] [27]
10	Paul A. Karger	[16]
11	Mika Katara	[22] [23] [24]
12	Adam Kiezun	[26]
13	Tim Klinger	[13] [14] [27]
14	Carol Liang	[20]
15	Peng Lu	[2]
16	Susan Outterson	[20]
17	Donald P. Pazel	[12]
18	Charles Shriver	[20]
19	Avik Sinha	[19] [20] [25] [27] [28]
20	Hsun-Kang Su	[1]
21	Kuo-Chung Tai	[1] [2] [6]
22	Beth Tibbitts	[12]
23	Frank Tip	[26]
24	Pradeep Varma	[12]
25	Mladen A. Vouk	[1] [2] [6]
26	Sam Weber	[16]
27	Clay Williams	[14] [20] [25] [27] [29]
28	W. Eric Wong	[21]
29	Cemal Yilmaz	[27] [29]
30	Hong Zhu	[21]

Colors in the list of coauthors