Ulka Shrotri

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 4

Top Topics

Discernibility Matrix

Bounded Model Checking

Reactive Systems

Formal Semantics

Top Venues

Publications

Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
Automated Validation of Insurance Applications against Calculation Specifications. ISSRE Workshops (2022)
Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
Automated Validation of Insurance Applications against Calculation Specifications. CoRR (2022)
Sagar Verma, Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Srinarayana Nagarathinam, Rajesh Jayaprakash, Aabriti Dutta
EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning. DAC (2021)
Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma
Scaling Test Case Generation For Expressive Decision Tables. ICST (2020)
R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal
Cost-effective Functional Testing of Reactive Software. ENASE (2015)
Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
Over-approximating loops to prove properties using bounded model checking. DATE (2015)
R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal
On Generating Test Cases from EDT Specifications. ENASE (Selected Papers) (2015)
R. Venkatesh, Ulka Shrotri, G. Murali Krishna, Supriya Agrawal
EDT: A specification notation for reactive systems. DATE (2014)
Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh
Trace based reachability verification for statecharts. FormaliSE@ICSE (2013)
Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri
Precise range analysis on large industry code. ESEC/SIGSOFT FSE (2013)
Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh
Precise Analysis of Large Industry Code. APSEC (2012)
P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh
Masking Boundary Value Coverage: Effectiveness and Efficiency. TAIC PART (2010)
Ulka Shrotri, R. Venkatesh, Ravindra Metta
Proving unreachability using bounded model checking. ISEC (2010)
Nishigandha Hirve, Tukaram Muske, Ulka Shrotri, R. Venkatesh
Feature based Structuring and Composing of SDLC Artifacts. SEKE (2010)
Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh
Automatic Test Data Generation for C Programs. SSIRI (2009)
R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil
STATEMATE to SCADE model translation. ISEC (2008)
Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh
Visual specification and analysis of use cases. SOFTVIS (2005)
Ulka Shrotri, Purandar Bhaduri, R. Venkatesh
Model Checking Visual Specification of Requirements. SEFM (2003)