| Specification-based program repair using SAT D Gopinath, MZ Malik, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2011 | 123 | 2011 |
| 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 | 60 | 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 | 56 | 2017 |
| 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 | 47 | 2012 |
| Symbolic execution for deep neural networks D Gopinath, K Wang, M Zhang, CS Pasareanu, S Khurshid arXiv preprint arXiv:1807.10439, 2018 | 41 | 2018 |
| Data-guided repair of selection statements D Gopinath, S Khurshid, D Saha, S Chandra Proceedings of the 36th International Conference on Software Engineering …, 2014 | 36 | 2014 |
| Property inference for deep neural networks D Gopinath, H Converse, C Pasareanu, A Taly 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 25 | 2019 |
| 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 | 18 | 2012 |
| 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 | 15 | 2019 |
| 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 | 11 | 2020 |
| 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 | 11 | 2018 |
| 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 | 11 | 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 | 10 | 2015 |
| 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 | 7 | 2020 |
| Finding invariants in deep neural networks D Gopinath, A Taly, H Converse, CS Pasareanu CoRR, 2019 | 7 | 2019 |
| 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 | 7 | 2019 |
| Machine learning based software program repair H Yoshida, D Gopinath, MR Prasad US Patent 9,846,637, 2017 | 7 | 2017 |
| 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 | 6 | 2019 |
| GUI system for elders/patients in intensive care JL Raheja, D Gopinath, A Chaudhary 2014 IEEE International Technology Management Conference, 1-5, 2014 | 6 | 2014 |
| 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 | 3 | 2020 |
