Travelled to:
1 × Canada
1 × Hungary
1 × Italy
1 × Norway
1 × Switzerland
3 × USA
Collaborated with:
M.Kim Y.Jang G.Rothermel H.Kim S.Hong Z.Xu M.B.Cohen S.Moon S.Yoo Y.J.Kim Y.Choi Y.Kim T.Kim G.Lee B.Lee T.Kwak Y.Jeon B.Ko
Talks about:
test (11) concol (6) industri (3) softwar (3) embed (3) techniqu (2) approach (2) scalabl (2) program (2) augment (2)
Person: Yunho Kim
DBLP: Kim:Yunho
Contributed to:
Wrote 12 papers:
- ICST-2014-KimXKCR #framework #hybrid #testing
- Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
- ICST-2014-MoonKKY #fault #locality #source code
- Ask the Mutants: Mutating Faulty Programs for Fault Localization (SM, YK, MK, SY), pp. 153–162.
- ASE-2013-KimKKLJK #automation #embedded #industrial #scalability #testing #using
- Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
- ICSE-2012-KimKKJ #approach #case study #industrial #testing #using
- Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.
- ICST-2012-KimKJ #case study #embedded #industrial #testing
- Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
- ICST-2012-KimKR #approach #distributed #empirical #evaluation #scalability #testing
- A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (MK, YK, GR), pp. 340–349.
- ESEC-FSE-2011-KimK #embedded #named #reliability #scalability #testing
- SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
- FSE-2010-XuKKRC #testing #trade-off
- Directed test suite augmentation: techniques and tradeoffs (ZX, YK, MK, GR, MBC), pp. 257–266.
- ASE-2008-KimKK #memory management #model checking #satisfiability #testing
- Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker (MK, YK, HK), pp. 198–207.
- ICST-2008-KimCKK #model checking
- Pre-testing Flash Device Driver through Model Checking Techniques (MK, YC, YK, HK), pp. 475–484.
- ASE-2015-HongLKJKKK #fault #locality #multi #source code
- Mutation-Based Fault Localization for Real-World Multilingual Programs (T) (SH, BL, TK, YJ, BK, YK, MK), pp. 464–475.
- ESEC-FSE-2019-KimHK #composition #debugging #detection #effectiveness #refinement #summary #testing
- Target-driven compositional concolic testing with function summary refinement for effective bug detection (YK, SH, MK), pp. 16–26.