Cofer, Darren

1. Resolute: An Assurance Case Language for Architecture Models
   2014/09/16 by Andrew Gacek, Gacek, Andrew, John Backes +6 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research
2. Input Prioritization for Testing Neural Networks
   2019/01/11 by Byun, Taejoon, Sharma, Vaibhav, Vijayakumar, Abhishek +2 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Engineering (cs.SE)
3. Manifold-based Test Generation for Image Classifiers
   2020/02/15 by Byun, Taejoon, Vijayakumar, Abhishek, Rayadurgam, Sanjai +1 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Engineering (cs.SE)