Taejoon Byun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2021 | ISSRE | Black-Box Testing of Deep Neural Networks. | Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl |
| 2020 | ICSE | Manifold for machine learning assurance. | Taejoon Byun, Sanjai Rayadurgam |
| 2020 | ICSE | Manifold-based Test Generation for Image Classifiers. | Taejoon Byun, Sanjai Rayadurgam |
| 2020 | ICSE | Property-based testing for LG home appliances using accelerated software-in-the-loop simulation. | Mingyu Park, Hoon Jang, Taejoon Byun, Yunja Choi |
| 2017 | ISSRE | Toward Rigorous Object-Code Coverage Criteria. | Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl |
| 2015 | SAC | Automated system-level safety testing using constraint patterns for automotive operating systems. | Taejoon Byun, Yunja Choi |