Taejoon Byun

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