Mitchell J. Gerrard

According to our database, Mitchell J. Gerrard authored at least 5 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Conditional Quantitative Program Analysis.

Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri

IEEE Trans. Software Eng., 2022

2019

ALPACA: a large portfolio-based alternating conditional analysis.

Mitchell J. Gerrard, Matthew B. Dwyer

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2017

Comprehensive failure characterization.

Mitchell J. Gerrard, Matthew B. Dwyer

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Probabilistic Program Analysis.

Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser

Proceedings of the Grand Timely Topics in Software Engineering, 2015