Travelled to:1 × Portugal
Collaborated with:M.B.Dwyer A.Filieri J.Geldenhuys C.S.Pasareanu W.Visser
Talks about:probabilist (1) comprehens (1) character (1) program (1) analysi (1) failur (1)
Person: Mitchell J. Gerrard
DBLP: Gerrard:Mitchell_J=
Contributed to:
2015
2017Wrote 2 papers:
- GTTSE-2015-DwyerFGGPV #probability #program analysis
- Probabilistic Program Analysis (MBD, AF, JG, MJG, CSP, WV), pp. 1–25.
- ASE-2017-GerrardD
- Comprehensive failure characterization (MJG, MBD), pp. 365–376.