| Specification-based program repair using SAT D Gopinath, MZ Malik, S Khurshid Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 151 | 2011 |
| 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 | 119 | 2018 |
| 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 | 86 | 2017 |
| Property inference for deep neural networks D Gopinath, H Converse, C Pasareanu, A Taly 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 76 | 2019 |
| Symbolic execution for deep neural networks D Gopinath, K Wang, M Zhang, CS Pasareanu, S Khurshid arXiv preprint arXiv:1807.10439, 2018 | 61 | 2018 |
| 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 | 56 | 2020 |
| 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 | 55 | 2012 |
| 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 | 47 | 2021 |
| Data-guided repair of selection statements D Gopinath, S Khurshid, D Saha, S Chandra Proceedings of the 36th International Conference on Software Engineering …, 2014 | 47 | 2014 |
| 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 | 34 | 2019 |
| 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 | 29 | 2018 |
| 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 | 27 | 2020 |
| 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 | 22 | 2020 |
| 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 | 21 | 2019 |
| 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 | 20 | 2012 |
| 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 | 16 | 2019 |
| 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 | 14 | 2021 |
| 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 | 13 | 2023 |
| 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 | 12 | 2010 |
| 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 | 11 | 2015 |
