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]

Authors

Guillaume Petiot

This author has not been identified. Look up 'Guillaume Petiot' in Google

Nikolai Kosmatov

This author has not been identified. Look up 'Nikolai Kosmatov' in Google

Bernard Botella

This author has not been identified. Look up 'Bernard Botella' in Google

Alain Giorgetti

This author has not been identified. Look up 'Alain Giorgetti' in Google

Jacques Julliand

This author has not been identified. Look up 'Jacques Julliand' in Google