Follow
Avik Sinha
Avik Sinha
Verified email at amazon.com
Title
Cited by
Cited by
Year
Text2Test: Automated inspection of natural language use cases
A Sinha, SM Sutton, A Paradkar
2010 Third International Conference on Software Testing, Verification and …, 2010
1062010
Model-based functional conformance testing of web services operating on persistent data
A Sinha, A Paradkar
Proceedings of the 2006 workshop on Testing, analysis, and verification of …, 2006
792006
Use cases to process specifications in business process modeling notation
A Sinha, A Paradkar
2010 IEEE International Conference on Web Services, 473-480, 2010
702010
A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases
A Sinha, A Paradkar, P Kumanan, B Boguraev
2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009
702009
Automated functional conformance test generation for semantic web services
AM Paradkar, A Sinha, C Williams, RD Johnson, S Outterson, C Shriver, ...
IEEE International Conference on Web Services (ICWS 2007), 110-117, 2007
532007
Generation of test cases for functional testing of applications
AM Paradkar, A Sinha
US Patent 8,683,446, 2014
362014
Method for domain specific test design automation
A Sinha, CS Smidts
US Patent 7,392,509, 2008
312008
Less is more: A minimalistic approach to UML model-based conformance test generation
M Kaplan, T Klinger, AM Paradkar, A Sinha, C Williams, C Yilmaz
2008 1st International Conference on Software Testing, Verification, and …, 2008
282008
Deriving process models from natural language use case models
AM Paradkar, A Sinha
US Patent 8,949,773, 2015
272015
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
A Sinha, C Smidts
ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (3), 242-278, 2006
272006
An analysis engine for dependable elicitation on natural language use case description and its application to industrial use cases
A Sinha, A Paradkar, P Kumanan, B Boguraev
IBM Report, 2008
202008
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique
A Sinha, C Smidts
Empirical Software Engineering 11, 173-202, 2006
202006
Requirements modeling and validation using bi-layer use case descriptions
A Sinha, M Kaplan, A Paradkar, C Williams
Model Driven Engineering Languages and Systems: 11th International …, 2008
192008
A measurement framework for evaluating model-based test generation tools
A Sinha, CE Williams, P Santhanam
IBM Systems Journal 45 (3), 501-514, 2006
192006
Mining a use case model by analyzing its description in plain language and analyzing textural use case models to identify modeling errors
NP Kumanan, AM Paradkar, A Sinha, SM Sutton
US Patent App. 12/487,461, 2010
162010
On generating EFSM models from use cases
A Sinha, A Paradkar, C Williams
Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE …, 2007
162007
Extending automated analysis of natural language use cases to other languages
A Sinha, A Paradkar, H Takeuchi, T Nakamura
2010 18th IEEE International Requirements Engineering Conference, 364-369, 2010
142010
Enhanced testing of domain specific applications by automatic extraction of axioms from functional specifications
A Sinha, CS Smidts, A Moran
14th International Symposium on Software Reliability Engineering, 2003 …, 2003
102003
Domain specific test case generation using higher ordered typed languages for specification
A Sinha
University of Maryland, College Park, 2005
92005
Method for reducing risk associated with a task
M Cantor, S Chulani, R Delmonico, VT Rajan, A Sinha, G Valetto, ...
US Patent 8,478,627, 2013
82013
The system can't perform the operation now. Try again later.
Articles 1–20