CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. - Markus Kusano; Chao Wang 001 (ASE, 2013)

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. - Markus Kusano; Chao Wang 001 (ASE, 2014)

Dynamic Generation of Likely Invariants for Multithreaded Programs. - Markus Kusano; Arijit Chattopadhyay; Chao Wang 001 (ICSE (1), 2015)

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. - Sepideh Khoshnood; Markus Kusano; Chao Wang 001 (ISSTA, 2015)

Dynamic partial order reduction for relaxed memory models. - Naling Zhang; Markus Kusano; Chao Wang 001 (PLDI, 2015)

Assertion guided symbolic execution of multithreaded programs. - Shengjian Guo; Markus Kusano; Chao Wang 001; Zijiang Yang 006; Aarti Gupta (ESEC/SIGSOFT FSE, 2015)

Conc-iSE: incremental symbolic execution of concurrent software. - Shengjian Guo; Markus Kusano; Chao Wang 001 (ASE, 2016)

Flow-sensitive composition of thread-modular abstract interpretation. - Markus Kusano; Chao Wang 001 (SIGSOFT FSE, 2016)

Static DOM event dependency analysis for testing web applications. - Chungha Sung; Markus Kusano; Nishant Sinha 001; Chao Wang 001 (SIGSOFT FSE, 2016)

Modular verification of interrupt-driven software. - Chungha Sung; Markus Kusano; Chao Wang 001 (ASE, 2017)

Thread-modular static analysis for relaxed memory models. - Markus Kusano; Chao Wang 001 (ESEC/SIGSOFT FSE, 2017)

Constraint-Based Thread-Modular Abstract Interpretation. - Markus Kusano (2018)

FUDGE: fuzz driver generation at scale. - Domagoj Babic; Stefan Bucur; Yaohui Chen; Franjo Ivancic; Tim King 001; Markus Kusano; Caroline Lemieux; László Szekeres; Wei Wang (ESEC/SIGSOFT FSE, 2019)