"(One) failure is not an option: Bootstrapping the search for failures in ..."

Jan-Pieter D'Anvers, Mélissa Rossi, Fernando Virdia (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics