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)

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)

Efficiently Finding Adversarial Examples with DNN Preprocessing. - Avriti Chauhan; Mohammad Afzal; Hrishikesh Karmarkar; Yizhak Yisrael Elboher; Kumar Madhukar; Guy Katz (CoRR, 2022)

Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation. - Hrishikesh Karmarkar; Supriya Agrawal; Avriti Chauhan; Pranav Shete (SANER, 2024)