| Method and apparatus for pattern based generation of graphical user interfaces (GUI) V Ramanathan, U Shrotri US Patent 7,072,810, 2006 | 67* | 2006 |
| Automatic test data generation for c programs P Bokil, P Darke, U Shrotri, R Venkatesh 2009 Third IEEE International Conference on Secure Software Integration and …, 2009 | 40 | 2009 |
| Precise analysis of large industry code P Darke, M Khanzode, A Nair, U Shrotri, R Venkatesh 2012 19th Asia-Pacific Software Engineering Conference 1, 306-309, 2012 | 28 | 2012 |
| Over-approximating loops to prove properties using bounded model checking P Darke, B Chimdyalwar, R Venkatesh, U Shrotri, R Metta 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015 | 27 | 2015 |
| Test generation for large automotive models R Venkatesh, U Shrotri, P Darke, P Bokil 2012 IEEE International Conference on Industrial Technology, 662-667, 2012 | 26 | 2012 |
| Visual specification and analysis of use cases D Kholkar, GM Krishna, U Shrotri, R Venkatesh Proceedings of the 2005 ACM symposium on Software visualization, 77-85, 2005 | 23 | 2005 |
| Precise range analysis on large industry code S Kumar, B Chimdyalwar, U Shrotri Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 15 | 2013 |
| EDT: A specification notation for reactive systems R Venkatesh, U Shrotri, GM Krishna, S Agrawal 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014 | 13 | 2014 |
| Validating a specification associated with a software application and/or a hardware GM Krishna, UA Shrotri, R Venkatesh US Patent 9,223,685, 2015 | 12 | 2015 |
| Model checking visual specification of requirements U Shrotri, P Bhaduri, R Venkatesh First International Conference onSoftware Engineering and Formal Methods …, 2003 | 11 | 2003 |
| System and method for automatic test data generation for relational testing VS Pasupuleti, T Muske, P Bokil, U Shrotri, V Ramanathan, P Darke US Patent 8,589,736, 2013 | 10 | 2013 |
| Method and apparatus for pattern based generation of graphical user interfaces (GUI) V Ramanathan, U Shrotri US Patent 7,369,975, 2008 | 9 | 2008 |
| Cost-effective functional testing of reactive software R Venkatesh, U Shrotri, A Zare, S Agrawal 2015 International Conference on Evaluation of Novel Approaches to Software …, 2015 | 6 | 2015 |
| Loop abstraction for model checking PD Darke, BD Chimdyalwar, R Venkatesh, UA Shrotri US Patent 9,158,506, 2015 | 5 | 2015 |
| Masking boundary value coverage: Effectiveness and efficiency PV Suman, T Muske, P Bokil, U Shrotri, R Venkatesh International Academic and Industrial Conference on Practice and Research …, 2010 | 5 | 2010 |
| Requirement-centric method for Application Development S Ghaisas, U Shrotri, R Venkatesh Workshop in Engineering methods to support Information Systems Evolution …, 0 | 4 | |
| Scaling test case generation for expressive decision tables S Agrawal, R Venkatesh, U Shrotri, A Zare, S Verma 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 3 | 2020 |
| On generating test cases from edt specifications R Venkatesh, U Shrotri, A Zare, S Agrawal International Conference on Evaluation of Novel Approaches to Software …, 2015 | 3 | 2015 |
| Scaling up Model-checking: A Case Study A Kulkarni, R Metta, U Shrotri, R Venkatesh Next Generation Design and Verification Methodologies for Distributed …, 2007 | 3 | 2007 |
| Method and system for generating functional test cases for software systems AA Zare, R Venkatesh, UA Shrotri, S Agrawal US Patent 10,176,085, 2019 | 2 | 2019 |
