@Inbook{Reger2017,
author="Reger, Giles
and Suda, Martin
and Voronkov, Andrei",
editor="Gabmeyer, Sebastian
and Johnsen, Einar Broch",
title="Testing a Saturation-Based Theorem Prover: Experiences and Challenges",
bookTitle="Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19--20, 2017, Proceedings",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="152--161",
doi="10.1007/978-3-319-61467-0_10",
}