Folgen
Divya Gopinath
Divya Gopinath
NASA Ames, KBR Inc.
Keine bestätigte E-Mail-Adresse
Titel
Zitiert von
Zitiert von
Jahr
Specification-based program repair using SAT
D Gopinath, MZ Malik, S Khurshid
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
1502011
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
1172018
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
862017
Property inference for deep neural networks
D Gopinath, H Converse, C Pasareanu, A Taly
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
732019
Symbolic execution for deep neural networks
D Gopinath, K Wang, M Zhang, CS Pasareanu, S Khurshid
arXiv preprint arXiv:1807.10439, 2018
612018
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
562020
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
552012
Data-guided repair of selection statements
D Gopinath, S Khurshid, D Saha, S Chandra
Proceedings of the 36th International Conference on Software Engineering …, 2014
472014
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
462021
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
342019
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
292018
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
272020
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
222020
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
212019
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
202012
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
162019
Medknowts: unified documentation and information retrieval for electronic health records
L Murray, D Gopinath, M Agrawal, S Horng, D Sontag, DR Karger
The 34th Annual ACM Symposium on User Interface Software and Technology …, 2021
132021
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
122010
Closed-loop analysis of vision-based autonomous systems: A case study
CS Păsăreanu, R Mangal, D Gopinath, S Getir Yaman, C Imrie, ...
International Conference on Computer Aided Verification, 289-303, 2023
112023
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
112015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20