Mitchell J. Gerrard

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 5

Top Topics

Learned From Training Data

Top Venues

ICSE (Companion Volume)

Publications

Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri
Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. 48 (4) (2022)
Mitchell J. Gerrard, Matthew B. Dwyer
ALPACA: a large portfolio-based alternating conditional analysis. ICSE (Companion Volume) (2019)
Mitchell J. Gerrard, Matthew B. Dwyer
Comprehensive failure characterization. ASE (2017)
Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS (2016)
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
Probabilistic Program Analysis. GTTSE (2015)