Priyanka Darke

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 10

Top Topics

Quality Assurance

Test Generation

Bounded Model Checking

False Positives

Top Venues

Publications

Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). TACAS (2) (2023)
Priyanka Darke, Bharti Chimdyalwar
OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems. ICSME (2023)
Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh
Impactful research and tooling for program correctness. Commun. ACM 65 (11) (2022)
Priyanka Darke, Sakshi Agrawal, R. Venkatesh
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). TACAS (2) (2021)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). TACAS (2) (2020)
Mohammad Afzal, A. Asia, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation. ASE (2019)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). TACAS (2) (2018)
Bharti Chimdyalwar, Priyanka Darke
Statically relating program properties for efficient verification (short WIP paper). LCTES (2018)
Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. ICST (2017)
Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh
VeriAbs: Verification by Abstraction (Competition Contribution). TACAS (2) (2017)
Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
Over-approximating loops to prove properties using bounded model checking. DATE (2015)
Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. FM (2015)
Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh
Precise Analysis of Large Industry Code. APSEC (2012)
Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh
Automatic Test Data Generation for C Programs. SSIRI (2009)