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 Jr, A Paradkar
2010 Third International Conference on Software Testing, Verification and …, 2010
902010
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
732006
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
642009
Use cases to process specifications in business process modeling notation
A Sinha, A Paradkar
2010 IEEE International Conference on Web Services, 473-480, 2010
562010
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
522007
Generation of test cases for functional testing of applications
AM Paradkar, A Sinha
US Patent 8,683,446, 2014
312014
Method for domain specific test design automation
A Sinha, CS Smidts
US Patent 7,392,509, 2008
312008
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
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
252008
Deriving process models from natural language use case models
AM Paradkar, A Sinha
US Patent 8,949,773, 2015
222015
Requirements modeling and validation using bi-layer use case descriptions
A Sinha, M Kaplan, A Paradkar, C Williams
International Conference on Model Driven Engineering Languages and Systems …, 2008
192008
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
192008
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique
A Sinha, C Smidts
Empirical Software Engineering 11 (2), 173-202, 2006
182006
A measurement framework for evaluating model-based test generation tools
A Sinha, CE Williams, P Santhanam
IBM Systems Journal 45 (3), 501-514, 2006
172006
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
152007
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
142010
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
132010
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
82005
Method for characterizing a software application
S Chulani, A Sinha, C Williams
US Patent App. 12/043,175, 2009
72009
The system can't perform the operation now. Try again later.
Articles 1–20