Divya Gopinath

According to our database, Divya Gopinath authored at least 41 papers between 2010 and 2024.

Collaborative distances:

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

2024

Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study).

Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu

CoRR, 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

Proceedings of the AI Verification - First International Symposium, 2024

Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study).

Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

An overview of structural coverage metrics for testing neural networks.

Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu

Int. J. Softw. Tools Technol. Transf., June, 2023

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

CoRR, 2023

Rule-Based Testing of Neural Networks.

Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu

Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023

Assumption Generation for Learning-Enabled Autonomous Systems.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Feature-Guided Analysis of Neural Networks.

Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu

Proceedings of the Fundamental Approaches to Software Engineering, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks.

Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu

CoRR, 2022

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.

Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu

Proceedings of the Runtime Verification - 22nd International Conference, 2022

VPN: Verification of Poisoning in Neural Networks.

Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

QuantifyML: How Good is my Machine Learning Model?

Muhammad Usman, Divya Gopinath, Corina S. Pasareanu

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks.

Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu

Proceedings of the Software Verification - 13th International Conference, 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

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.

Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

NNrepair: Constraint-Based Repair of Neural Network Classifiers.

Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Fast, Structured Clinical Documentation via Contextual Autocomplete.

Divya Gopinath, Monica Agrawal, Luke S. Murray, Steven Horng, David R. Karger, David A. Sontag

Proceedings of the Machine Learning for Healthcare Conference, 2020

Probabilistic Symbolic Analysis of Neural Networks.

Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

On the probabilistic analysis of neural networks.

Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Parallelization Techniques for Verifying Neural Networks.

Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.

Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors.

Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia

CoRR, 2019

Hamiltonicity in Semi-Regular Tessellation Dual Graphs.

Divya Gopinath, Rohan Kodialam, Kevin Lu, Jayson Lynch, Santiago Ospina

CoRR, 2019

Finding Invariants in Deep Neural Networks.

Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu

CoRR, 2019

Property Inference for Deep Neural Networks.

Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 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

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Symbolic execution for attribution and attack synthesis in neural networks.

Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Compositional Verification for Autonomous Systems with Deep Learning Components.

Corina S. Pasareanu, Divya Gopinath, Huafeng Yu

CoRR, 2018

Symbolic Execution for Deep Neural Networks.

Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid

CoRR, 2018

Accelerating Search-Based Program Repair.

Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.

Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.

Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

CoRR, 2017

2016

Repairing Intricate Faults in Code Using Machine Learning and Path Exploration.

Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

2015

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

Proceedings of the 19th International Conference on Software Product Line, 2015

2014

Data-guided repair of selection statements.

Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra

Proceedings of the 36th International Conference on Software Engineering, 2014

2012

History-Aware Data Structure Repair Using SAT.

Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley

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

Improving the effectiveness of spectra-based fault localization using specifications.

Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011

Specification-Based Program Repair Using SAT.

Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid

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

2010

Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis.

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking.

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the Abstract State Machines, 2010