Taejoon Byun

Binary Mutation Analysis of Tests Using Reassembleable Disassembly

Stephen McCamant, Navid Emamdoost, Vaibhav Sharma, 2019, Proceedings 2019 Workshop on Binary Analysis Research.

Property-based Testing for LG Home Appliances using Accelerated Software-in-the-Loop Simulation

Yunja Choi, Taejoon Byun, Mingyu Park, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).

Input Prioritization for Testing Neural Networks

Sanjai Rayadurgam, Darren D. Cofer, Vaibhav Sharma, 2019, 2019 IEEE International Conference On Artificial Intelligence Testing (AITest).

Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation

Dongwoo Kim, Yunja Choi, Mingyu Park, 2015, Sci. Comput. Program..

Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems

Yunja Choi, Mingyu Park, Taejoon Byun, 2012, FTSCS.

Run-Time Assurance for Learning-Enabled Systems

Sanjai Rayadurgam, Darren D. Cofer, Eric Smith, 2020, NFM.

Black-Box Testing of Deep Neural Networks

Taejoon Byun, M. Heimdahl, Sanjai Rayadurgam, 2021, IEEE International Symposium on Software Reliability Engineering.

Manifold for Machine Learning Assurance

Sanjai Rayadurgam, Taejoon Byun, Taejoon Byun, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).

Run-Time Assurance for Learning-Based Aircraft Taxiing

Sanjai Rayadurgam, Taejoon Byun, Isaac Amundson, 2020, 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC).

Constraint-based test generation for automotive operating systems

Yunja Choi, Taejoon Byun, Taejoon Byun, 2017, Software & Systems Modeling.