BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kim:Yunho

Contributed to:

ICST 20142014
ASE 20132013
ICSE 20122012
ICST 20122012
ESEC/FSE 20112011
FSE 20102010
ASE 20082008
ICST 20082008
ASE 20152015
ESEC/FSE 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.