How testing helps to diagnose proof failures

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand. How testing helps to diagnose proof failures. Formal Asp. Comput., 30(6):629-657, 2018. [doi]

Abstract

Abstract is missing.