발행물

전체 논문

47

21

Understanding User Understanding: Determining Correctness of Generated Program Invariants
M. Staats, S. Hong, M. Kim, G. Rothermel
International Symposium on Software Testing and Analysis (ISSTA), 2012

22

Testing Concurrent Programs to Achieve High Synchronization Coverage
S. Hong, J. Ahn, S. Park, M. Kim, M. J. Harrold
International Symposium on Software Testing and Analysis (ISSTA), 2012

23

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay
M. Kim, S. Hong, C. Hong, T. Kim
Model-based Testing (ENTCS volume 253, issue 2), 2009

24

How Does a Unit-level Test Case for Continuous Fuzzing Evolve: An Empirical Study of Code Changes in OSS-Fuzz Projects
J. Kim, S. Kim, S. Hong
Korean Congress of Computing (KCC), 2022

25

OSSFuzzBugs: A Collection of Open-source Real-world Fault Artifacts for Experimenting Unit-level Fuzzing Techniques
H. Yoo, S. Hong
Korean Congress of Computing (KCC), 2021

26

Multi-directional Concolic Testing Search Strategies for Mitigating Path-space Local Search Problem
H. Choe, S. Hong
Korean Software Engineering Conference (KCSE), 2021

27

Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement
H. Choe, S. Hong
Journal of KIISE, 2021

28

Improving Mutation-based Fuzzing by Input Keyword Extraction
J. Cho, S. Hong
Korean Software Engineering Conference (KCSE), 2021

29

Effective Continuous Testing with Automated Unit Test Generation Technique
D. Kim, S. Kim, S. Hong
Korean Software Congress (KSC), 2020

30

Detecting Subtype Inconsistency Errors by Unit Test Cross-checking
J. Jeon, S. Hong
Korean Congress of Computing (KCC), 2020