Korea Advanced Institute of Science and Technology — South Korea
Computer Science · Physical Sciences
13h-index874citations68works1.52yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Reliability and Analysis Research(30), Software Testing and Debugging Techniques(21), Advanced Software Engineering Methodologies(16), Safety Systems Engineering in Autonomy(14), Formal Methods in Verification(13)
Publications68 total
Computer Standards & Interfaces·2025
Empirical Software Engineering·2024· 3 citedOpen Access
Organic Letters·2024· 4 cited
ACM SIGSOFT Software Engineering Notes·2023· 1 cited
KIISE Transactions on Computing Practices·2023· 1 cited
ACM SIGSOFT Software Engineering Notes·2023· 4 cited
Journal of Systems and Software·2023· 10 cited
Software Testing Verification and Reliability·2022· 3 cited
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing·2022
Information and Software Technology·2022· 9 cited
SSRN Electronic Journal·2022Open Access
SSRN Electronic Journal·2022Open Access
page 1 of 4Next →
Frequent Co-authors
Doo‐Hwan Bae(31), Donghwan Shin(7), Jiyoung Song(7), Junbeom Yoo(5), Sungdeok Cha(5), Oleg Sokolsky(4), Insup Lee(4), Jang‐Soo Lee(4), Kwang Yong Koh(4), Youngmin Baek(4), Seungjae Jeon(3), Gee-Yong Park(3), Kee-Choon Kwon(3), Sangwon Hyun(3), Lingjun Liu(3), Sanjian Chen(2), John Hatcliff(2), BaekGyu Kim(2), Margaret Mullen‐Fortino(2), Soo‐Jin Park(2)