Sign in
Avriti Chauhan
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 7
Top Topics
Preprocessing
Bounded Model Checking
Symbolic Execution
Design Automation
Top Venues
TACAS (2)
ICST
CoRR
ASE
</>
Publications
</>
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)