Priyanka Darke

Over-approximating loops to prove properties using bounded model checking

Ravindra Metta, Priyanka Darke, Bharti Chimdyalwar, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)

Supratik Chakraborty, Shrawan Kumar, Priyanka Darke, 2020, TACAS.

Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking

Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, 2015, FM.

VeriAbs: Verification by Abstraction (Competition Contribution)

Shrawan Kumar, Priyanka Darke, Bharti Chimdyalwar, 2017, TACAS.

Precise Analysis of Large Industry Code

Priyanka Darke, R. Venkatesh, Ulka Shrotri, 2012, 2012 19th Asia-Pacific Software Engineering Conference.

Automatic Test Data Generation for C Programs

Prasad Bokil, Priyanka Darke, R. Venkatesh, 2009, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.

Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Statically relating program properties for efficient verification (short WIP paper)

Priyanka Darke, Bharti Chimdyalwar, P. Darke, 2018, LCTES.

VeriAbs : Verification by Abstraction and Test Generation

Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution)

Shrawan Kumar, Raveendra Kumar Medicherla, Priyanka Darke, 2018, TACAS.

VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)

Priyanka Darke, R. Venkatesh, Sakshi Agrawal, 2021, TACAS.