Amit M. Paradkar

	2010
35		Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar: Text2Test: Automated Inspection of Natural Language Use Cases. ICST 2010: 155-164
34		Avik Sinha, Amit M. Paradkar: Use Cases to Process Specifications in Business Process Modeling Notation. ICWS 2010: 473-480
33		Avik Sinha, Amit M. Paradkar, Hironori Takeuchi, Taiga Nakamura: Extending Automated Analysis of Natural Language Use Cases to Other Languages. RE 2010: 364-369
32		Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36(4): 474-494 (2010)
	2009
31		Avik Sinha, Amit M. Paradkar, Palani Kumanan, Branimir Boguraev: A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases. DSN 2009: 327-336
	2008
30		Cemal Yilmaz, Amit M. Paradkar, Clay Williams: Time will tell: fault localization using time spectra. ICSE 2008: 81-90
29		Amit M. Paradkar, Avik Sinha: Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. ICSOC 2008: 551-557
28		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
27		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
26		Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams: Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. MoDELS 2008: 97-112
	2007
25		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
24		Hong Zhu, W. Eric Wong, Amit M. Paradkar: Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007. IEEE 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	[27] [32]
3	Branimir Boguraev	[31]
4	Philippe Charles	[12]
5	Danny Dig	[27] [32]
6	Julian Dolby	[27] [32]
7	Michael D. Ernst	[27] [32]
8	Alan Hartman	[22] [23] [25]
9	Robert D. Johnson	[20]
10	Matthew Kaplan	[14] [26] [28]
11	Paul A. Karger	[16]
12	Mika Katara	[22] [23] [25]
13	Adam Kiezun	[27] [32]
14	Tim Klinger	[13] [14] [28]
15	Palani Kumanan	[31]
16	Carol Liang	[20]
17	Peng Lu	[2]
18	Taiga Nakamura	[33]
19	Susan Outterson	[20]
20	Donald P. Pazel	[12]
21	Charles Shriver	[20]
22	Avik Sinha	[19] [20] [26] [28] [29] [31] [33] [34] [35]
23	Hsun-Kang Su	[1]
24	Stanley M. Sutton Jr.	[35]
25	Kuo-Chung Tai	[1] [2] [6]
26	Hironori Takeuchi	[33]
27	Beth Tibbitts (Beth R. Tibbitts)	[12]
28	Frank Tip	[27] [32]
29	Pradeep Varma	[12]
30	Mladen A. Vouk	[1] [2] [6]
31	Sam Weber (Samuel Weber)	[16]
32	Clay Williams	[14] [20] [26] [28] [30]
33	W. Eric Wong	[21] [24]
34	Cemal Yilmaz	[28] [30]
35	Hong Zhu	[21] [24]

Colors in the list of coauthors

Last update Thu Feb 9 23:21:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page