Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. - Avik Sinha; Carol S. Smidts; Andrew Moran (ISSRE, 2003)

Domain Specific Test Case Generation using Higher Ordered Typed Languages for Specification. - Avik Sinha (2005)

Model-based functional conformance testing of web services operating on persistent data. - Avik Sinha; Amit M. Paradkar (TAV-WEB, 2006)

An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. - Avik Sinha; Carol S. Smidts (Empir. Softw. Eng., 2006)

A measurement framework for evaluating model-based test generation tools. - Avik Sinha; Clay E. Williams; P. Santhanam (IBM Syst. J., 2006)

HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. - Avik Sinha; Carol S. Smidts (ACM Trans. Softw. Eng. Methodol., 2006)

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 (ICWS, 2007)

Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. - Amit M. Paradkar; Avik Sinha (ICSOC, 2008)

Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. - Matthew Kaplan 003; Tim Klinger; Amit M. Paradkar; Avik Sinha; Clay Williams; Cemal Yilmaz 001 (ICST, 2008)

Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. - Avik Sinha; Matthew Kaplan 003; Amit M. Paradkar; Clay Williams (MoDELS, 2008)

Software Metrics. - Avik Sinha; Cemal Yilmaz (Wiley Encyclopedia of Computer Science and Engineering, 2008)

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 (DSN, 2009)

Text2Test: Automated Inspection of Natural Language Use Cases. - Avik Sinha; Stanley M. Sutton Jr.; Amit M. Paradkar (ICST, 2010)

Use Cases to Process Specifications in Business Process Modeling Notation. - Avik Sinha; Amit M. Paradkar (ICWS, 2010)

Extending Automated Analysis of Natural Language Use Cases to Other Languages. - Avik Sinha; Amit M. Paradkar; Hironori Takeuchi; Taiga Nakamura (RE, 2010)

Dependence structure between Indian financial market and energy commodities: a cross-quantilogram based evidence. - Avik Sinha; Arshian Sharif; Arnab Adhikari; Ankit Sharma (Ann. Oper. Res., 2022)

Innovational duality and sustainable development: finding optima amidst socio-ecological policy trade-off in post-COVID-19 era. - Avik Sinha; Arnab Adhikari; Ashish Kumar Jha 001 (J. Enterp. Inf. Manag., 2022)