| Text2Test: Automated inspection of natural language use cases A Sinha, SM Sutton, A Paradkar 2010 Third International Conference on Software Testing, Verification and …, 2010 | 107 | 2010 |
| 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 | 79 | 2006 |
| Use cases to process specifications in business process modeling notation A Sinha, A Paradkar 2010 IEEE International Conference on Web Services, 473-480, 2010 | 75 | 2010 |
| 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 | 70 | 2009 |
| 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 | 54 | 2007 |
| Generation of test cases for functional testing of applications AM Paradkar, A Sinha US Patent 8,683,446, 2014 | 37 | 2014 |
| Method for domain specific test design automation A Sinha, CS Smidts US Patent 7,392,509, 2008 | 31 | 2008 |
| 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 | 29 | 2008 |
| Deriving process models from natural language use case models AM Paradkar, A Sinha US Patent 8,949,773, 2015 | 28 | 2015 |
| 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 | 27 | 2006 |
| 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 | 20 | 2008 |
| 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 | 20 | 2006 |
| 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 | 19 | 2008 |
| A measurement framework for evaluating model-based test generation tools A Sinha, CE Williams, P Santhanam IBM Systems Journal 45 (3), 501-514, 2006 | 19 | 2006 |
| 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 | 16 | 2010 |
| 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 | 16 | 2007 |
| 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 | 14 | 2010 |
| 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 | 10 | 2003 |
| Method for characterizing a software application S Chulani, A Sinha, C Williams US Patent App. 12/043,175, 2009 | 9 | 2009 |
| Domain specific test case generation using higher ordered typed languages for specification A Sinha University of Maryland, College Park, 2005 | 9 | 2005 |
