Taejoon Byun

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 13

Top Topics

Riemannian Metric

Operating System

Home Appliances

Microsoft Windows

Top Venues

Publications

Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl
Black-Box Testing of Deep Neural Networks. ISSRE (2021)
Mingyu Park, Hoon Jang, Taejoon Byun, Yunja Choi
Property-based testing for LG home appliances using accelerated software-in-the-loop simulation. ICSE (SEIP) (2020)
Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Manifold-based Test Generation for Image Classifiers. CoRR (2020)
Taejoon Byun, Sanjai Rayadurgam
Manifold for Machine Learning Assurance. CoRR (2020)
Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
Run-Time Assurance for Learning-Enabled Systems. NFM (2020)
Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Manifold-based Test Generation for Image Classifiers. AITest (2020)
Taejoon Byun, Sanjai Rayadurgam
Manifold-based Test Generation for Image Classifiers. ICSE (Workshops) (2020)
Taejoon Byun, Sanjai Rayadurgam
Manifold for machine learning assurance. ICSE (NIER) (2020)
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Input Prioritization for Testing Neural Networks. CoRR (2019)
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Input Prioritization for Testing Neural Networks. AITest (2019)
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE (2018)
Yunja Choi, Taejoon Byun
Constraint-based test generation for automotive operating systems. Softw. Syst. Model. 16 (1) (2017)
Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl
Toward Rigorous Object-Code Coverage Criteria. ISSRE (2017)
Taejoon Byun, Yunja Choi
Automated system-level safety testing using constraint patterns for automotive operating systems. SAC (2015)
Yunja Choi, Mingyu Park, Taejoon Byun, Dongwoo Kim
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation. Sci. Comput. Program. 103 (2015)
Mingyu Park, Taejoon Byun, Yunja Choi
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems FTSCS (2012)