Language-based replay via data flow cut. - Ming Wu 007; Fan Long; Xi Wang 005; Zhilei Xu; Haoxiang Lin; Xuezheng Liu; Zhenyu Guo; Huayang Guo; Lidong Zhou; Zheng Zhang 001 (SIGSOFT FSE, 2010)

Efficient deterministic multithreading through schedule relaxation. - Heming Cui; Jingyue Wu; John Gallagher; Huayang Guo; Junfeng Yang (SOSP, 2011)

Practical software model checking via dynamic interface reduction. - Huayang Guo; Ming Wu 007; Lidong Zhou; Gang Hu; Junfeng Yang; Lintao Zhang (SOSP, 2011)