Avriti Chauhan

According to our database, Avriti Chauhan authored at least 7 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Efficiently Finding Adversarial Examples with DNN Preprocessing.

Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz

CoRR, 2022

2020

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

Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

VeriAbs : Verification by Abstraction and Test Generation.

Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

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

Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

VeriAbs: Verification by Abstraction (Competition Contribution).

Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

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

Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015

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

Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan

Proceedings of the FM 2015: Formal Methods, 2015