Text2Test: Automated inspection of natural language use cases
- Avik Sinha
- Stanley M. Sutton Jr.
- et al.
- 2010
- ICST 2010
Publications
Date
Featured collections
Popular topics
37 results for Amit Paradkar
Finding bugs in web applications using dynamic test generation and explicit-state model checking
- Shay Artzi
- Adam Kiezun
- et al.
- 2010
- IEEE TSE
A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases
- Avik Sinha
- Amit Paradkar
- et al.
- 2009
- DSN 2009
Finding bugs in dynamic web applications
- Shay Artz
- Adam Kiezun
- et al.
- 2008
- ISSTA 2008
Time will tell: Fault localization using time spectra
- Cemal Yilmaz
- Amit Paradkar
- et al.
- 2008
- ICSE 2008
The feasibility of automated feedback-directed specification-based test generation: A case study of a high-assurance operating system
- Sam Weber
- Amitkumar Paradkar
- et al.
- 2008
- ISSRE 2008
Less is more: A minimalistic approach to UML model-based conformance test generation
- Matthew Kaplan
- Tim Klinger
- et al.
- 2008
- ICST 2008
On generating EFSM models from use cases
- Avik Sinha
- Amit Paradkar
- et al.
- 2007
- ICSEW 2007
Domain specific approaches to software test automation
- Alan Hartman
- Mika Katara
- et al.
- 2007
- ESEC/FSE 2007
Automated functional conformance test generation for semantic web services
- Amit M. Paradkar
- Avik Sinha
- et al.
- 2007
- ICWS 2007