Probabilistic Program Analysis. - Matthew B. Dwyer; Antonio Filieri; Jaco Geldenhuys; Mitchell J. Gerrard; Corina S. Pasareanu; Willem Visser (GTTSE, 2015)

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). - Manchun Zheng; John G. Edenhofner; Ziqing Luo; Mitchell J. Gerrard; Michael S. Rogers; Matthew B. Dwyer; Stephen F. Siegel (TACAS, 2016)

Comprehensive failure characterization. - Mitchell J. Gerrard; Matthew B. Dwyer (ASE, 2017)

ALPACA: a large portfolio-based alternating conditional analysis. - Mitchell J. Gerrard; Matthew B. Dwyer (ICSE (Companion Volume), 2019)

Conditional Quantitative Program Analysis. - Mitchell J. Gerrard; Mateus Borges; Matthew B. Dwyer; Antonio Filieri (IEEE Trans. Software Eng., 2022)