Avik Sinha

According to our database, Avik Sinha authored at least 17 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Innovational duality and sustainable development: finding optima amidst socio-ecological policy trade-off in post-COVID-19 era.

Avik Sinha, Arnab Adhikari, Ashish Kumar Jha

J. Enterp. Inf. Manag., 2022

Dependence structure between Indian financial market and energy commodities: a cross-quantilogram based evidence.

Avik Sinha, Arshian Sharif, Arnab Adhikari, Ankit Sharma

Ann. Oper. Res., 2022

2010

Extending Automated Analysis of Natural Language Use Cases to Other Languages.

Avik Sinha, Amit M. Paradkar, Hironori Takeuchi, Taiga Nakamura

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.

Avik Sinha, Amit M. Paradkar

Proceedings of the IEEE International Conference on Web Services, 2010

Text2Test: Automated Inspection of Natural Language Use Cases.

Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar

Proceedings of the Third International Conference on Software Testing, 2010

2009

A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases.

Avik Sinha, Amit M. Paradkar, Palani Kumanan, Branimir Boguraev

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Software Metrics.

Avik Sinha, Cemal Yilmaz

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.

Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.

Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz

Proceedings of the First International Conference on Software Testing, 2008

Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.

Amit M. Paradkar, Avik Sinha

Proceedings of the Service-Oriented Computing, 2008

2007

Automated Functional Conformance Test Generation for Semantic Web Services.

Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

2006

HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.

Avik Sinha, Carol S. Smidts

ACM Trans. Softw. Eng. Methodol., 2006

A measurement framework for evaluating model-based test generation tools.

Avik Sinha, Clay E. Williams, P. Santhanam

IBM Syst. J., 2006

An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.

Avik Sinha, Carol S. Smidts

Empir. Softw. Eng., 2006

Model-based functional conformance testing of web services operating on persistent data.

Avik Sinha, Amit M. Paradkar

Proceedings of the 2006 Workshop on Testing, 2006

2005

Domain Specific Test Case Generation using Higher Ordered Typed Languages for Specification.

Avik Sinha

PhD thesis, 2005

2003

Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.

Avik Sinha, Carol S. Smidts, Andrew Moran

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003