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]

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