According to our database1, Avik Sinha authored at least 15 papers between 2003 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Extending Automated Analysis of Natural Language Use Cases to Other Languages.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Use Cases to Process Specifications in Business Process Modeling Notation.
Proceedings of the IEEE International Conference on Web Services, 2010
Text2Test: Automated Inspection of Natural Language Use Cases.
Proceedings of the Third International Conference on Software Testing, 2010
A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.
Proceedings of the First International Conference on Software Testing, 2008
Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.
Proceedings of the Service-Oriented Computing, 2008
Automated Functional Conformance Test Generation for Semantic Web Services.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.
ACM Trans. Softw. Eng. Methodol., 2006
A measurement framework for evaluating model-based test generation tools.
IBM Systems Journal, 2006
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.
Empirical Software Engineering, 2006
Model-based functional conformance testing of web services operating on persistent data.
Proceedings of the 2006 Workshop on Testing, 2006
Domain Specific Test Case Generation using Higher Ordered Typed Languages for Specification.
PhD thesis, 2005
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003