Search the dblp DataBase

Publications of Author

1. Avik Sinha, Carol Smidts, Andrew Moran
   Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. [Citation Graph (0, 0)][DBLP]
   ISSRE, 2003, pp:181-190 [Conf]
   
2. Avik Sinha, Carol Smidts
   An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. [Citation Graph (0, 0)][DBLP]
   Empirical Software Engineering, 2006, v:11, n:2, pp:173-202 [Journal]
   
3. Avik Sinha, Carol Smidts
   HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Softw. Eng. Methodol., 2006, v:15, n:3, pp:242-278 [Journal]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   ICWS, 2007, pp:110-117 [Conf]
   
5. 
   A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases. [Citation Graph (, )][DBLP]
   
   
6. 
   Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. [Citation Graph (, )][DBLP]
   
   
7. 
   Use Cases to Process Specifications in Business Process Modeling Notation. [Citation Graph (, )][DBLP]
   
   
8. 
   Model-based functional conformance testing of web services operating on persistent data. [Citation Graph (, )][DBLP]
   
   
9. 
   Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. [Citation Graph (, )][DBLP]
   
   
10. 
    Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. [Citation Graph (, )][DBLP]
    
    
11. 
    Text2Test: Automated Inspection of Natural Language Use Cases. [Citation Graph (, )][DBLP]