Research to Advance SW Reliability, Security & Safety

We study the phenomena and the principles in software developments, and develop tools and methodologies to assist men to write reliable, secure, and safe software. We aim to advance software testing and analysis techniques including dynamic/static bug findings, automated test generations and automated debugging.


Shin Hong, Ph.D in Computer Science

Assistant Professor, CSEE in Handong Global University,

313 Oseok Hall, +82-54-260-1409

Hansol Choe

Master's degree course (started inMar 2018)

318 Oseok Hall

Jeewoong Kim

Master's degree course (started in Sep 2018)

318 Oseok Hall

Juyoung Jeon

Master's degree course (started in Mar 2019)

318 Oseok Hall

Recent Publications

[ICST'19] Classifying False Positive Static Checker Alarms In Continuous Integration Using Convolutional Neural Networks (Experience Track)

[KSC'18] AtomicitySanitizer: Effective Runtime Atomicity Violation Detector for Multithreaded C Programs (in Korean) (Best Paper Presentation Award)

[KCC'18] A Classification of Unit Test Bugs in Java Programs (in Korean) (Best Paper Award)

On-going Projects

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

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