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 × Italy
1 × Luxembourg
2 × USA
Collaborated with:
M.Kim Y.Park Y.Kim M.Staats G.Rothermel J.Ahn C.Hong T.Kim D.Lee J.Cho S.Park M.J.Harrold B.Lee T.Kwak Y.Jeon B.Ko
Talks about:
test (5) concurr (4) program (3) understand (2) coverag (2) effect (2) detect (2) base (2) bug (2) determinist (1)

Person: Shin Hong

DBLP DBLP: Hong:Shin

Contributed to:

ICSE 20152015
ICST 20142014
ICST 20132013
ISSTA 20122012
MBT 20092009
ASE 20152015
ESEC/FSE 20192019

Wrote 8 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-2013-HongSAKR #concurrent #effectiveness #metric #testing
The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.
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.
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-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.