Ulka Shrotri
Ulka Shrotri
Verified email at tcs.com
Title
Cited by
Cited by
Year
Method and apparatus for pattern based generation of graphical user interfaces (GUI)
V Ramanathan, U Shrotri
US Patent 7,072,810, 2006
38*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
352009
Test generation for large automotive models
R Venkatesh, U Shrotri, P Darke, P Bokil
2012 IEEE International Conference on Industrial Technology, 662-667, 2012
242012
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
232005
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
192012
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
152015
Validating a specification associated with a software application and/or a hardware
GM Krishna, UA Shrotri, R Venkatesh
US Patent 9,223,685, 2015
122015
Model checking visual specification of requirements
U Shrotri, P Bhaduri, R Venkatesh
First International Conference onSoftware Engineering and Formal Methods …, 2003
112003
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
102013
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
82014
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
72013
Method and apparatus for pattern based generation of graphical user interfaces (GUI)
V Ramanathan, U Shrotri
US Patent 7,369,975, 2008
72008
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
42015
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
42010
Requirement-centric method for Application Development
S Ghaisas, U Shrotri, R Venkatesh
Engineering Methods to Support Information Systems Evolution, 75, 0
4
Loop abstraction for model checking
PD Darke, BD Chimdyalwar, R Venkatesh, UA Shrotri
US Patent 9,158,506, 2015
32015
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
22015
Scaling up model-checking
A Kulkarni, R Metta, U Shrotri, R Venkatesh
Next Generation Design and Verification Methodologies for Distributed …, 2007
22007
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
12019
Proving unreachability using bounded model checking
U Shrotri, R Venkatesh, R Metta
Proceedings of the 3rd India software engineering conference, 73-82, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–20