Amit M. Paradkar

2008
29	EE	Cemal Yilmaz, Amit M. Paradkar, Clay Williams: Time will tell: fault localization using time spectra. ICSE 2008: 81-90
28	EE	Amit M. Paradkar, Avik Sinha: Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. ICSOC 2008: 551-557
27	EE	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	EE	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	EE	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	EE	Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE 2007: 621-622
22	EE	Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (Companion) 2007: 621-622
21	EE	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	EE	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	EE	Avik Sinha, Amit M. Paradkar: Model-based functional conformance testing of web services operating on persistent data. TAV-WEB 2006: 17-22
18	EE	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	EE	Amit M. Paradkar: Case studies on fault detection effectiveness of model based test generation techniques. A-MOST 2005
16	EE	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	EE	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	EE	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	EE	Amit M. Paradkar, Tim Klinger: Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. COMPSAC 2004: 342-348
12	EE	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	EE	Amit M. Paradkar: Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications. ISSRE 2004: 173-184
10	EE	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	EE	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	EE	Amit M. Paradkar: Inter-class testing of O-O software in the presence of polymorphism. CASCON 1996: 30
1995
4	EE	Amit M. Paradkar: A new solution to test generation for Boolean expressions. CASCON 1995: 48
1994
3	EE	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	EE	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