Ulka Shrotri

Automatic Test Data Generation for C Programs

Prasad Bokil, Priyanka Darke, Ulka Shrotri et al. · 2009 · 32 citations

Engineering, Test Coverage, Test Data Generation +20

Over-Approximating Loops to Prove Properties using Bounded Model Checking

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 22 citations

Program Checking, Engineering, Verification +18

Precise Analysis of Large Industry Code

Priyanka Darke, Mayur Khanzode, Arun Asokan Nair et al. · 2012 · 20 citations

Software Maintenance, Program Checking, Engineering +23

Precise range analysis on large industry code

Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri · 2013 · 18 citations

Mathematical Programming, Engineering, Industrial Engineering +25

Visual specification and analysis of use cases

Deepali Kholkar, Ulka Shrotri, R. Venkatesh · 2005 · 18 citations

Software Maintenance, Engineering, Modeling Notation +23