Automatic Test Data Generation for C Programs. - Prasad Bokil; Priyanka Darke; Ulka Shrotri; R. Venkatesh 001 (SSIRI, 2009)

Precise Analysis of Large Industry Code. - Priyanka Darke; Mayur Khanzode; Arun Nair; Ulka Shrotri; R. Venkatesh 001 (APSEC, 2012)

Over-approximating loops to prove properties using bounded model checking. - Priyanka Darke; Bharti Chimdyalwar; R. Venkatesh 001; Ulka Shrotri; Ravindra Metta (DATE, 2015)

Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. - Bharti Chimdyalwar; Priyanka Darke; Anooj Chavda; Sagar Vaghani; Avriti Chauhan (FM, 2015)

Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. - Priyanka Darke; Bharti Chimdyalwar; Avriti Chauhan; R. Venkatesh 001 (ICST, 2017)

VeriAbs: Verification by Abstraction (Competition Contribution). - Bharti Chimdyalwar; Priyanka Darke; Avriti Chauhan; Punit Shah; Shrawan Kumar 001; R. Venkatesh 001 (TACAS (2), 2017)

Statically relating program properties for efficient verification (short WIP paper). - Bharti Chimdyalwar; Priyanka Darke (LCTES, 2018)

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). - Priyanka Darke; Sumanth Prabhu 001; Bharti Chimdyalwar; Avriti Chauhan; Shrawan Kumar 001; Animesh Basak Chowdhury; R. Venkatesh 001; Advaita Datar; Raveendra Kumar Medicherla (TACAS (2), 2018)

VeriAbs : Verification by Abstraction and Test Generation. - Mohammad Afzal; Asia A; Avriti Chauhan; Bharti Chimdyalwar; Priyanka Darke; Advaita Datar; Shrawan Kumar 001; R. Venkatesh 001 (ASE, 2019)

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). - Mohammad Afzal; Supratik Chakraborty; Avriti Chauhan; Bharti Chimdyalwar; Priyanka Darke; Ashutosh Gupta 001; Shrawan Kumar 001; Charles Babu M; Divyesh Unadkat; R. Venkatesh 001 (TACAS (2), 2020)

VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). - Priyanka Darke; Sakshi Agrawal; R. Venkatesh 001 (TACAS (2), 2021)

Impactful research and tooling for program correctness. - Priyanka Darke; Ravindra Metta; Raveendra Kumar Medicherla; R. Venkatesh 001 (Commun. ACM, 2022)

OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems. - Priyanka Darke; Bharti Chimdyalwar (ICSME, 2023)

VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). - Priyanka Darke; Bharti Chimdyalwar; Sakshi Agrawal; Shrawan Kumar 001; R. Venkatesh 001; Supratik Chakraborty (TACAS (2), 2023)

The VeriAbs Tool Suite for Code Verification. - Priyanka Darke; Bharti Chimdyalwar; R. Venkatesh 001; Supratik Chakraborty (ATVA, 2024)

Learning Strategies Using Boolean Program Metrics to Verify Industrial Code. - Priyanka Darke; Bharti Chimdyalwar; Manoj Alladawar; Sahil Sulakhe; R. Venkatesh 001; Supratik Chakraborty (ICSME, 2024)