Your Proof Fails? Testing Helps to Find the Reason

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. [doi]