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.


9 Jun 2021 Jeewoong defended his MS thesis successfully

16 Apr 2021 Recruiting New Grad Students (2021 Autom) [English]
2021년 후기 대학원 신입생 모집 [Korean]

19 Feb 2021 Congrats Hansol and Juyoung on their graduation!

Shin Hong 홍신

Assistant Professor, CSEE in Handong Global University

Ph.D in Computer Science, KAIST 2015,

313, Oseok Hall, Handong Global University


Jeewoong Kim 김지웅

Master's degree program (started in Sep 2018)

318, Oseok Hall, Handong Global University

Hanyoung Yoo 유한영

Master's degree program (started in Mar 2020)

318, Oseok Hall, Handong Global University

Past Members

Juyoung Jeon (전주영)

  • 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)

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)

Fuzzing for Improving Unit-level Testing, SAP Labs Korea, 2020, 2021 (on going)

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

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

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

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 ...