Advancing Reliability, Safety & Security in Software Engineering

We study the principles of computing and the phenomena of software developments to understand when, where, why and how unreliable, insecure, or unsafe software is resulted and threatening in our society. We aim to resolve these problems by developing techniques, tools, methodologies and pedagogies that enhance the ability of developers in analyzing, testing, and debugging their software products.


13 Dec 2021 Hanyoung successfully defended his MS thesisπŸ””

13 Dec 2021 YouTube videos of our research workπŸ””

9 Oct 2021 Software Disaster Research Center is having an official opening event at 27 Oct

7 Sep 2021 Recruiting New Graduate Students [Eng] [Kor]

Shin Hong 홍신

Assistant Professor, CSEE in Handong Global University

Ph.D in Computer Science, KAIST 2015,

313, Oseok Hall, Handong Global University


Jeewoong Kim 김지웅

Research Associate

318, Oseok Hall, Handong Global University

Hanyoung Yoo μœ ν•œμ˜

Master's degree program (started in Mar 2020)

318, Oseok Hall, Handong Global University


Jeewoong Kim (김지웅), now in ARISE lab, Handong Global University

  • Master's Degree, Mar 2018-Aug 2021

  • Thesis: Extracting Fine-grained Traceability Links Between API Document Comments and JUnit Test Code Lines

Juyoung Jeon (μ „μ£Όμ˜), now in Hyundai MOBIS

  • Master's Degree, Mar 2019-Feb 2021

  • Thesis: Improving Mutation Based Fault Localization for Omission Faults (BK 21 Master's Thesis Award)

Hansol Choe (μ΅œν•œμ†”), now in Suresoft Technologies Inc.

  • Master's Degree, Mar 2018-Feb 2021

  • Thesis: Concolic Testing Search Strategies for Mitigating Path-space Local Search Problem (Master's Thesis Award)

Research Projects

Fuzz Testing for Effective Continuous Testing on Evolving Software, NRF, 2020-2023 (on going)

Center for Software Disaster Research, Excellent Research Center (ERC), NRF, 2021-2028 (in direction of Prof. Yunja Choi at KNU and Prof. Moonzoo Kim at KAIST and in collaboration with KAIST, Korea University, UNIST, POSTECH, Hanyang University) (on going)

Development of automatic software error repair technology that combines code analysis and error mining, IITP (in collaboration with SuresoftTech Inc., Arcyl Inc., Prof. Shin Yoo at KAIST and Prof. Jooyong Yi at UNIST), 2021-2022 (on going)

Design of Online Model Training and Prediction Environment for Reproducible Machine Learning Artifact Archiving (in collaboration with Prof. Charmgil Hong at Handong University), KISTI, 2020-2021

Establishing Code Change Traceability Using Source Code Embedding (in direction of Prof. Shin Yoo at KAIST), Samsung Research, 2020, 2021

Fuzzing for Improving Unit-level Testing, SAP Labs Korea, 2020, 2021

Intelligent Automation Techniques for Fullstack Software Debugging, Next-Generation Information Computing Development Program Funded by NRF, 2017-2020

Automated Method of Assessing Test Artifacts Quality (in direction of Prof. Shin Yoo at KAIST), Samsung Research, 2019

Developing Automated Software Test Generation Techniques Using Data-driven Analyses, Young Researcher Program Funded by NRF, 2017-2019

More ...