Taejoon Byun
According to our database1,
Taejoon Byun
authored at least 13 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
0
1
2
3
4
5
6
1
1
1
5
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Property-based testing for LG home appliances using accelerated software-in-the-loop simulation.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020
2019
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019
2018
Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018
2017
Softw. Syst. Model., 2017
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.
Sci. Comput. Program., 2015
Automated system-level safety testing using constraint patterns for automotive operating systems.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
2012
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012