Collaborated with:
M.Kim S.Hong T.Kim
Talks about:
counter (1) concurr (1) replay (1) kernel (1) exampl (1) model (1) test (1) base (1) bug (1)
Person: Changki Hong
DBLP: Hong:Changki
Contributed to:
Wrote 1 papers:
- 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.