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
International Conference on Tools and Algorithms for the Construction and …, 2011
1232011
Deepsafe: A data-driven approach for assessing robustness of neural networks
D Gopinath, G Katz, CS Păsăreanu, C Barrett
International symposium on automated technology for verification and …, 2018
602018
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
562017
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
472012
Symbolic execution for deep neural networks
D Gopinath, K Wang, M Zhang, CS Pasareanu, S Khurshid
arXiv preprint arXiv:1807.10439, 2018
412018
Data-guided repair of selection statements
D Gopinath, S Khurshid, D Saha, S Chandra
Proceedings of the 36th International Conference on Software Engineering …, 2014
362014
Property inference for deep neural networks
D Gopinath, H Converse, C Pasareanu, A Taly
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
252019
History-aware data structure repair using SAT
RN Zaeem, D Gopinath, S Khurshid, KS McKinley
International Conference on Tools and Algorithms for the Construction and …, 2012
182012
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
152019
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
112020
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
112018
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
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
72020
Finding invariants in deep neural networks
D Gopinath, A Taly, H Converse, CS Pasareanu
CoRR, 2019
72019
Compositional verification for autonomous systems with deep learning components
CS Păsăreanu, D Gopinath, H Yu
Safe, Autonomous and Intelligent Vehicles, 187-197, 2019
72019
Machine learning based software program repair
H Yoshida, D Gopinath, MR Prasad
US Patent 9,846,637, 2017
72017
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
62019
GUI system for elders/patients in intensive care
JL Raheja, D Gopinath, A Chaudhary
2014 IEEE International Technology Management Conference, 1-5, 2014
62014
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
32020
The system can't perform the operation now. Try again later.
Articles 1–20