A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. - Danhua Shao; Divya Gopinath; Sarfraz Khurshid; Dewayne E. Perry (ASM, 2010)

Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. - Danhua Shao; Divya Gopinath; Sarfraz Khurshid; Dewayne E. Perry (ISSRE, 2010)

Specification-Based Program Repair Using SAT. - Divya Gopinath; Muhammad Zubair Malik; Sarfraz Khurshid (TACAS, 2011)

Improving the effectiveness of spectra-based fault localization using specifications. - Divya Gopinath; Razieh Nokhbeh Zaeem; Sarfraz Khurshid (ASE, 2012)

History-Aware Data Structure Repair Using SAT. - Razieh Nokhbeh Zaeem; Divya Gopinath; Sarfraz Khurshid; Kathryn S. McKinley (TACAS, 2012)

Data-guided repair of selection statements. - Divya Gopinath; Sarfraz Khurshid; Diptikalyan Saha; Satish Chandra 001 (ICSE, 2014)

Faster bug detection for software product lines with incomplete feature models. - Sabrina Souto; Divya Gopinath; Marcelo d'Amorim; Darko Marinov; Sarfraz Khurshid; Don S. Batory (SPLC, 2015)

Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. - Divya Gopinath; Kaiyuan Wang; Jinru Hua; Sarfraz Khurshid (ICSME, 2016)

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. - Divya Gopinath; Guy Katz; Corina S. Pasareanu; Clark W. Barrett (CoRR, 2017)

DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. - Divya Gopinath; Guy Katz; Corina S. Pasareanu; Clark W. Barrett (ATVA, 2018)

Accelerating Search-Based Program Repair. - Ben Mehne; Hiroaki Yoshida; Mukul R. Prasad; Koushik Sen; Divya Gopinath; Sarfraz Khurshid (ICST, 2018)

Symbolic Execution for Deep Neural Networks. - Divya Gopinath; Kaiyuan Wang; Mengshi Zhang; Corina S. Pasareanu; Sarfraz Khurshid (CoRR, 2018)

Compositional Verification for Autonomous Systems with Deep Learning Components. - Corina S. Pasareanu; Divya Gopinath; Huafeng Yu (CoRR, 2018)

Symbolic execution for attribution and attack synthesis in neural networks. - Divya Gopinath; Corina S. Pasareanu; Kaiyuan Wang; Mengshi Zhang; Sarfraz Khurshid (ICSE (Companion Volume), 2019)

Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. - Divya Gopinath; Mengshi Zhang; Kaiyuan Wang; Ismet Burak Kadron; Corina S. Pasareanu; Sarfraz Khurshid (ISSRE, 2019)

Property Inference for Deep Neural Networks. - Divya Gopinath; Hayes Converse; Corina S. Pasareanu; Ankur Taly (ASE, 2019)

Finding Invariants in Deep Neural Networks. - Divya Gopinath; Ankur Taly; Hayes Converse; Corina S. Pasareanu (CoRR, 2019)

Hamiltonicity in Semi-Regular Tessellation Dual Graphs. - Divya Gopinath; Rohan Kodialam; Kevin Lu; Jayson Lynch; Santiago Ospina (CoRR, 2019)

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. - Edward Kim 005; Divya Gopinath; Corina S. Pasareanu; Sanjit A. Seshia (CoRR, 2019)

A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. - Edward Kim 005; Divya Gopinath; Corina S. Pasareanu; Sanjit A. Seshia (CVPR, 2020)

Parallelization Techniques for Verifying Neural Networks. - Haoze Wu 001; Alex Ozdemir; Aleksandar Zeljic; Kyle Julian; Ahmed Irfan; Divya Gopinath; Sadjad Fouladi; Guy Katz; Corina S. Pasareanu; Clark W. Barrett (FMCAD, 2020)

On the probabilistic analysis of neural networks. - Corina S. Pasareanu; Hayes Converse; Antonio Filieri; Divya Gopinath (SEAMS@ICSE, 2020)

Probabilistic Symbolic Analysis of Neural Networks. - Hayes Converse; Antonio Filieri; Divya Gopinath; Corina S. Pasareanu (ISSRE, 2020)

Fast, Structured Clinical Documentation via Contextual Autocomplete. - Divya Gopinath; Monica Agrawal; Luke S. Murray; Steven Horng; David R. Karger; David A. Sontag (MLHC, 2020)

NNrepair: Constraint-Based Repair of Neural Network Classifiers. - Muhammad Usman 024; Divya Gopinath; Youcheng Sun; Yannic Noller; Corina S. Pasareanu (CAV (1), 2021)

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. - Muhammad Usman 024; Yannic Noller; Corina S. Pasareanu; Youcheng Sun; Divya Gopinath (ICSE (Companion Volume), 2021)

MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records. - Luke S. Murray; Divya Gopinath; Monica Agrawal; Steven Horng; David A. Sontag; David R. Karger (UIST, 2021)

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. - Ismet Burak Kadron; Divya Gopinath; Corina S. Pasareanu; Huafeng Yu (VSTTE, 2021)

QuantifyML: How Good is my Machine Learning Model? - Muhammad Usman 024; Divya Gopinath; Corina S. Pasareanu (FMAS, 2021)

VPN: Verification of Poisoning in Neural Networks. - Youcheng Sun; Muhammad Usman 024; Divya Gopinath; Corina S. Pasareanu (NSV/FoMLAS@CAV, 2022)

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. - Muhammad Usman 024; Divya Gopinath; Youcheng Sun; Corina S. Pasareanu (RV, 2022)

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Corina S. Pasareanu (CoRR, 2022)

Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. - Corina S. Pasareanu; Ravi Mangal; Divya Gopinath; Sinem Getir Yaman; Calum Imrie; Radu Calinescu; Huafeng Yu (CAV (1), 2023)

Feature-Guided Analysis of Neural Networks. - Divya Gopinath; Luca Lungeanu; Ravi Mangal; Corina S. Pasareanu; Siqi Xie; Huafeng Yu (FASE, 2023)

Assumption Generation for Learning-Enabled Autonomous Systems. - Corina S. Pasareanu; Ravi Mangal; Divya Gopinath; Huafeng Yu (RV, 2023)

Rule-Based Testing of Neural Networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Corina S. Pasareanu (SE4SafeML@SIGSOFT FSE, 2023)

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. - Corina S. Pasareanu; Ravi Mangal; Divya Gopinath; Huafeng Yu (CoRR, 2023)

An overview of structural coverage metrics for testing neural networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Rishi Dange; Luca Manolache; Corina S. Pasareanu (Int. J. Softw. Tools Technol. Transf., 2023)

Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. - Sayan Mitra; Corina S. Pasareanu; Pavithra Prabhakar; Sanjit A. Seshia; Ravi Mangal; Yangge Li; Christopher Watson; Divya Gopinath; Huafeng Yu (Principles of Verification (3), 2024)

Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study). - Eduard Pinconschi; Divya Gopinath; Rui Abreu 001; Corina S. Pasareanu (ISSTA, 2024)

Concept-Based Analysis of Neural Networks via Vision-Language Models. - Ravi Mangal; Nina Narodytska; Divya Gopinath; Boyue Caroline Hu; Anirban Roy; Susmit Jha; Corina S. Pasareanu (SAIV, 2024)

Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study). - Eduard Pinconschi; Divya Gopinath; Rui Abreu 001; Corina S. Pasareanu (CoRR, 2024)

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). - Boyue Caroline Hu; Divya Gopinath; Corina S. Pasareanu; Nina Narodytska; Ravi Mangal; Susmit Jha (CAIN, 2025)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception. - Christopher Watson; Rajeev Alur; Divya Gopinath; Ravi Mangal; Corina S. Pasareanu (CoRR, 2025)