20 citations · 26 across the 2 of their papers we have counts for
4 papers
Manifold-based Test Generation for Image Classifiers
Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam +1
Neural networks used for image classification tasks in critical applications must be tested with sufficient realistic data to assure their correctness. To effectively test an image…
Manifold for Machine Learning Assurance
Taejoon Byun, Sanjai Rayadurgam
The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in accepted system assur…
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…
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…