Person: Moonzoo Kim

DBLP: Kim:Moonzoo

Contributed to:

2015

2014

2013

2013

2012

2012

2012

2011

2010

2009

2008

2008

2005

2005

2015

2019

Wrote 20 papers:

ICSE-v2-2015-ParkHKLC #case study #nondeterminism #testing

Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.

ICST-2014-HongPK #concurrent #detection #fault #java #web

Detecting Concurrency Errors in Client-Side Java Script Web Applications (SH, YP, MK), pp. 61–70.

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.

ICST-2013-HongSAKR #concurrent #effectiveness #metric #testing

The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.

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.

ISSTA-2012-HongAPKH #concurrent #source code #testing

Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.

ISSTA-2012-StaatsHKR #comprehension #correctness #invariant

Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.

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.

MBT-2009-KimHHK #concurrent #debugging #kernel #modelling #testing

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay (MK, SH, CH, TK), pp. 21–36.

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.

ICSE-2005-KimLKHB #architecture #case study #re-engineering

Re-engineering software architecture of home service robots: a case study (MK, JL, KCK, YH, SB), pp. 505–513.

SPLC-2005-KangKLK #case study #feature model #legacy #product line #re-engineering

Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets — a Case Study (KCK, MK, JL, BK), pp. 45–56.

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.