20 citations · 26 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019
Input Prioritization for Testing Neural Networks
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar +2
Deep neural networks (DNNs) are increasingly being adopted for sensing and control functions in a variety of safety and mission-critical systems such as self-driving cars, autonomo…
cs.SE2013★ 6 cited
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems
Mingyu Park, Taejoon Byun, Yunja Choi
Testing is a de-facto verification technique in industry, but insufficient for identifying subtle issues due to its optimistic incompleteness. On the other hand, model checking is…