| 2008 |
|---|
| 10 | EE | Amit M. Paradkar,
Avik Sinha:
Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.
ICSOC 2008: 551-557 |
| 9 | 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 |
| 8 | EE | Avik Sinha,
Matthew Kaplan,
Amit M. Paradkar,
Clay Williams:
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.
MoDELS 2008: 97-112 |
| 7 | EE | Avik Sinha,
Cemal Yilmaz:
Software Metrics.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 6 | 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 |
|---|
| 5 | EE | Avik Sinha,
Amit M. Paradkar:
Model-based functional conformance testing of web services operating on persistent data.
TAV-WEB 2006: 17-22 |
| 4 | EE | Avik Sinha,
Carol Smidts:
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.
ACM Trans. Softw. Eng. Methodol. 15(3): 242-278 (2006) |
| 3 | EE | Avik Sinha,
Carol Smidts:
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.
Empirical Software Engineering 11(2): 173-202 (2006) |
| 2 | EE | Avik Sinha,
Clay E. Williams,
P. Santhanam:
A measurement framework for evaluating model-based test generation tools.
IBM Systems Journal 45(3): 501-514 (2006) |
| 2003 |
|---|
| 1 | EE | Avik Sinha,
Carol Smidts,
Andrew Moran:
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
ISSRE 2003: 181-190 |
