Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems - Mingyu Park; Taejoon Byun; Yunja Choi (FTSCS, 2012)

Automated system-level safety testing using constraint patterns for automotive operating systems. - Taejoon Byun; Yunja Choi (SAC, 2015)

Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation. - Yunja Choi; Mingyu Park; Taejoon Byun; Dongwoo Kim (Sci. Comput. Program., 2015)

Toward Rigorous Object-Code Coverage Criteria. - Taejoon Byun; Vaibhav Sharma 001; Sanjai Rayadurgam; Stephen McCamant; Mats Per Erik Heimdahl (ISSRE, 2017)

Constraint-based test generation for automotive operating systems. - Yunja Choi; Taejoon Byun (Softw. Syst. Model., 2017)

Contract discovery from black-box components. - Vaibhav Sharma 001; Taejoon Byun; Stephen McCamant; Sanjai Rayadurgam; Mats Per Erik Heimdahl (WASPI@ESEC/SIGSOFT FSE, 2018)

Input Prioritization for Testing Neural Networks. - Taejoon Byun; Vaibhav Sharma 001; Abhishek Vijayakumar; Sanjai Rayadurgam; Darren D. Cofer (AITest, 2019)

Manifold-based Test Generation for Image Classifiers. - Taejoon Byun; Abhishek Vijayakumar; Sanjai Rayadurgam; Darren D. Cofer (AITest, 2020)

Manifold for machine learning assurance. - Taejoon Byun; Sanjai Rayadurgam (ICSE (NIER), 2020)

Manifold-based Test Generation for Image Classifiers. - Taejoon Byun; Sanjai Rayadurgam (ICSE (Workshops), 2020)

Property-based testing for LG home appliances using accelerated software-in-the-loop simulation. - Mingyu Park; Hoon Jang; Taejoon Byun; Yunja Choi (ICSE (SEIP), 2020)

Run-Time Assurance for Learning-Enabled Systems. - Darren D. Cofer; Isaac Amundson; Ramachandra Sattigeri; Arjun Passi; Christopher Boggs; Eric Smith; Limei Gilham; Taejoon Byun; Sanjai Rayadurgam (NFM, 2020)

Black-Box Testing of Deep Neural Networks. - Taejoon Byun; Sanjai Rayadurgam; Mats P. E. Heimdahl (ISSRE, 2021)