Avriti Chauhan

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

False Positives

Test Generation

Symbolic Execution

Design Automation

Top Venues

Publications

Hrishikesh Karmarkar, Supriya Agrawal, Avriti Chauhan, Pranav Shete
Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation. SANER (2024)
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz
Efficiently Finding Adversarial Examples with DNN Preprocessing. CoRR (2022)
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)
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)
Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. FM (2015)