TY  - RPRT
TI  - Your Proof Fails? Testing Helps to Find the Reason
AU  - Guillaume Petiot
AU  - Nikolai Kosmatov
AU  - Bernard Botella
AU  - Alain Giorgetti
AU  - Jacques Julliand
PY  - 2015
UR  - https://arxiv.org/abs/1508.01691
ID  - 1508.01691
ER  -