| 2010 | ICST | Text2Test: Automated Inspection of Natural Language Use Cases. | Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar |
| 2010 | ICWS | Use Cases to Process Specifications in Business Process Modeling Notation. | Avik Sinha, Amit M. Paradkar |
| 2010 | RE | Extending Automated Analysis of Natural Language Use Cases to Other Languages. | Avik Sinha, Amit M. Paradkar, Hironori Takeuchi, Taiga Nakamura |
| 2009 | DSN | A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases. | Avik Sinha, Amit M. Paradkar, Palani Kumanan, Branimir Boguraev |
| 2008 | ICSOC | Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. | Amit M. Paradkar, Avik Sinha |
| 2008 | ICST | Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. | Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz |
| 2008 | MODELS | Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. | Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams |
| 2007 | ICWS | Automated Functional Conformance Test Generation for Semantic Web Services. | Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang |
| 2006 | ISSTA | Model-based functional conformance testing of web services operating on persistent data. | Avik Sinha, Amit M. Paradkar |
| 2003 | ISSRE | Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. | Avik Sinha, Carol S. Smidts, Andrew Moran |