Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand. Your Proof Fails? Testing Helps to Find the Reason. In Bernhard K. Aichernig, Carlo A. Furia, editors, Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Volume 9762 of Lecture Notes in Computer Science, pages 130-150, Springer, 2016.