Taejoon Byun

According to our database, Taejoon Byun authored at least 13 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Black-Box Testing of Deep Neural Networks.

Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

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

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Property-based testing for LG home appliances using accelerated software-in-the-loop simulation.

Mingyu Park, Hoon Jang, Taejoon Byun, Yunja Choi

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

Manifold-based Test Generation for Image Classifiers.

Taejoon Byun, Sanjai Rayadurgam

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Manifold for machine learning assurance.

Taejoon Byun, Sanjai Rayadurgam

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Manifold-based Test Generation for Image Classifiers.

Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Input Prioritization for Testing Neural Networks.

Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Contract discovery from black-box components.

Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018

2017

Constraint-based test generation for automotive operating systems.

Yunja Choi, Taejoon Byun

Softw. Syst. Model., 2017

Toward Rigorous Object-Code Coverage Criteria.

Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

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

Automated system-level safety testing using constraint patterns for automotive operating systems.

Taejoon Byun, Yunja Choi

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2012

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

Mingyu Park, Taejoon Byun, Yunja Choi

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012