SDEV Lab
충북대학교 본교(제1캠퍼스) 소프트웨어학부
홍신 교수
Multithreaded Program Error Detection
Fuzzing Techniques
Automated Software Testing
발행물
전체 논문
47
31
Improving Mutation-Based Fault Localization for Better Locating Omission Faults Using Coverage Change Information
J. Jeon, S. Hong
Journal of KIISE, 2020
32
CRESTIVE-DX: Design and Implementation of Distributed Concolic Testing Tool for Embedded Software
H. Leem, H. Choe, H. Kim, S. Hong
KIPS Transactions on Software and Data Engineering (KTSDE), 2020
33
Design and Implementation of Code-related Conversation Service for Online Programming Education
J. Kim, Y. Jeon, S. Hong
Korean Congress of Computing (KCC), 2019
34
Evaluation of Test Requirement Extraction Techniques for Javadoc Description
J. Kim, S. Hong
Korean Software Engineering Conference (KCS),
35
Design and Implementation of Distributed Concolic Testing Tool for Embedded Software
H. Choe, H. Leem, H. Kim, S. Hong
Korean Software Engineering Conference, 2020
36
Improving Mutation-Based Fault Localization for Better Locating Omission Faults
J. Jeon, S. Hong
Korean Software Congress, 2019
37
Design and Implementation of Automated Programming Assignment Assessment Systems for GitHub Repositories
C. Kim, J. Oh, H, Jeong, M. Ha, S. Hong
Korean Software Congress, 2019
38
Bounded Search Strategies of Concolic Testing for Effective and Efficient Test Coverage Achievement
H. Choe, S. Hong
Korean Congress of Computing, 2019
39
AtomicitySanitizer: Effective Runtime Atomicity Violation Detector for Multithreaded C Programs
S. Hong, Y. Kim, M. Kim, S. Yoon, H. Jeong, S. Park
Korean Software Congress, 2019
40
Systematic and Comprehensive Comparisons of the MOIS Security Vulnerability Inspection Criteria and Open-Source Security Bug Detectors for Java Web Applications
J. Lee, H. Choe, S. Hong
Journal of Software Engineering Society, 2019