Your Proof Fails? Testing Helps to Find the Reason

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-41135-4_8 ◽

2016 ◽

pp. 130-150 ◽

Cited By ~ 9

Author(s):

Guillaume Petiot ◽

Nikolai Kosmatov ◽

Bernard Botella ◽

Alain Giorgetti ◽

Jacques Julliand

Download Full-text