Ulka Shrotri

According to our database, Ulka Shrotri authored at least 17 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Automated Validation of Insurance Applications against Calculation Specifications.

Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021

EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning.

Sagar Verma, Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Srinarayana Nagarathinam, Rajesh Jayaprakash, Aabriti Dutta

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Scaling Test Case Generation For Expressive Decision Tables.

Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2015

On Generating Test Cases from EDT Specifications.

R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2015

Cost-effective Functional Testing of Reactive Software.

R. Venkatesh, Ulka Shrotri, Amey Zare, Supriya Agrawal

Proceedings of the ENASE 2015, 2015

Over-approximating loops to prove properties using bounded model checking.

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

EDT: A specification notation for reactive systems.

R. Venkatesh, Ulka Shrotri, G. Murali Krishna, Supriya Agrawal

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Precise range analysis on large industry code.

Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Trace based reachability verification for statecharts.

Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012

Precise Analysis of Large Industry Code.

Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010

Masking Boundary Value Coverage: Effectiveness and Efficiency.

P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh

Proceedings of the Testing, 2010

Feature based Structuring and Composing of SDLC Artifacts.

Nishigandha Hirve, Tukaram Muske, Ulka Shrotri, R. Venkatesh

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Proving unreachability using bounded model checking.

Ulka Shrotri, R. Venkatesh, Ravindra Metta

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009

Automatic Test Data Generation for C Programs.

Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

2008

STATEMATE to SCADE model translation.

R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

2005

Visual specification and analysis of use cases.

Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh

Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

2003

Model Checking Visual Specification of Requirements.

Ulka Shrotri, Purandar Bhaduri, R. Venkatesh

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003