Follow
Divya Gopinath
Divya Gopinath
NASA Ames, KBR Inc.
No verified email
Title
Cited by
Cited by
Year
Specification-based program repair using SAT
D Gopinath, MZ Malik, S Khurshid
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
1412011
Deepsafe: A data-driven approach for assessing robustness of neural networks
D Gopinath, G Katz, CS Păsăreanu, C Barrett
Automated Technology for Verification and Analysis: 16th International …, 2018
902018
Deepsafe: A data-driven approach for checking adversarial robustness in neural networks
D Gopinath, G Katz, CS Pasareanu, C Barrett
arXiv preprint arXiv:1710.00486, 2017
702017
Symbolic execution for deep neural networks
D Gopinath, K Wang, M Zhang, CS Pasareanu, S Khurshid
arXiv preprint arXiv:1807.10439, 2018
552018
Property inference for deep neural networks
D Gopinath, H Converse, C Pasareanu, A Taly
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
512019
Improving the effectiveness of spectra-based fault localization using specifications
D Gopinath, RN Zaeem, S Khurshid
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
512012
Data-guided repair of selection statements
D Gopinath, S Khurshid, D Saha, S Chandra
Proceedings of the 36th International Conference on Software Engineering …, 2014
422014
Parallelization techniques for verifying neural networks
H Wu, A Ozdemir, A Zeljic, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ...
# PLACEHOLDER_PARENT_METADATA_VALUE# 1, 128-137, 2020
402020
Symbolic execution for attribution and attack synthesis in neural networks
D Gopinath, CS Pasareanu, K Wang, M Zhang, S Khurshid
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
222019
Accelerating search-based program repair
B Mehne, H Yoshida, MR Prasad, K Sen, D Gopinath, S Khurshid
2018 IEEE 11th international conference on software testing, verification …, 2018
222018
History-aware data structure repair using SAT
R Nokhbeh Zaeem, D Gopinath, S Khurshid, KS McKinley
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
192012
A programmatic and semantic approach to explaining and debugging neural network based object detectors
E Kim, D Gopinath, C Pasareanu, SA Seshia
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020
172020
NNrepair: Constraint-Based Repair of Neural Network Classifiers
M Usman, D Gopinath, Y Sun, Y Noller, CS Păsăreanu
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
162021
Fast, structured clinical documentation via contextual autocomplete
D Gopinath, M Agrawal, L Murray, S Horng, D Karger, D Sontag
Machine Learning for Healthcare Conference, 842-870, 2020
152020
Symbolic execution for importance analysis and adversarial generation in neural networks
D Gopinath, M Zhang, K Wang, IB Kadron, C Pasareanu, S Khurshid
2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019
142019
Compositional Verification for Autonomous Systems with Deep Learning Components: White Paper
CS Păsăreanu, D Gopinath, H Yu
Safe, Autonomous and Intelligent Vehicles, 187-197, 2019
132019
Optimizing incremental scope-bounded checking with data-flow analysis
D Shao, D Gopinath, S Khurshid, DE Perry
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
112010
Faster bug detection for software product lines with incomplete feature models
S Souto, D Gopinath, M d'Amorim, D Marinov, S Khurshid, D Batory
Proceedings of the 19th International Conference on Software Product Line …, 2015
102015
Machine learning based software program repair
H Yoshida, D Gopinath, MR Prasad
US Patent 9,846,637, 2017
82017
Finding invariants in deep neural networks
D Gopinath, A Taly, H Converse, CS Pasareanu
CoRR, vol. abs/1904.13215, 2019
72019
The system can't perform the operation now. Try again later.
Articles 1–20