According to our database1, Avik Sinha authored at least 15 papers between 2003 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Proceedings of the IEEE International Conference on Web Services, 2010
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
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
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
IBM Syst. J., 2006
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.
Empir. Softw. Eng., 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