Ulka Shrotri

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