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: Hong:Shin
Contributed to:
2015
20142013
2012
2009
2015
2019Wrote 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.