Avik Sinha

According to our database1, Avik Sinha authored at least 15 papers between 2003 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


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

Software Metrics.
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 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