Travelled to:
1 × Canada
1 × China
1 × New Zealand
1 × South Africa
1 × The Netherlands
1 × USA
Collaborated with:
S.Cheung E.B.Pobee Z.Zhang Z.Lai B.Jiang T.H.Tse X.Wang C.J.Budnik G.M.Kapfhammer X.Mei Y.Cai K.Zhai S.Wu
Talks about:
program (5) test (4) thread (3) multithread (2) context (2) replay (2) random (2) effici (2) detect (2) multi (2)
Person: Wing Kwong Chan
DBLP: Chan:Wing_Kwong
Facilitated 1 volumes:
Contributed to:
Wrote 9 papers:
- PPoPP-2013-CaiZWC #detection #named #parallel #source code #thread
- TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs (YC, KZ, SW, WKC), pp. 311–312.
- ICSE-2010-BudnikCK #automation #testing #theory and practice
- Bridging the Gap Between the Theory and Practice of Software Test Automation (CJB, WKC, GMK), pp. 445–446.
- ICSE-2010-LaiCC #detection #parallel #random #source code #testing #thread
- Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.
- ASE-2009-JiangZCT #adaptation #random testing #testing
- Adaptive Random Test Case Prioritization (BJ, ZZ, WKC, THT), pp. 233–244.
- ESEC-FSE-2009-ZhangCTJW
- Capturing propagation of infected program states (ZZ, WKC, THT, BJ, XW), pp. 43–52.
- ICSE-2009-WangCCZ #correctness #fault #locality #refinement
- Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization (XW, SCC, WKC, ZZ), pp. 45–55.
- FSE-2008-LaiCC #control flow #data flow #test coverage #testing
- Inter-context control-flow and data-flow test adequacy criteria for nesC applications (ZL, SCC, WKC), pp. 94–104.
- ASE-2019-PobeeMC #concurrent #multi #performance #source code #thread #transaction
- Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs (EBP, XM, WKC), pp. 760–771.
- ESEC-FSE-2019-PobeeC #concurrent #multi #named #performance #source code #thread
- AggrePlay: efficient record and replay of multi-threaded programs (EBP, WKC), pp. 567–577.