This repository is referenced in the following papers:
- How Testing Helps to Diagnose Proof Failures, Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand, submitted to Formal Aspects of Computing 2017
- Your Proof Fails? Testing Helps to Find the Reason, Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand, Tests and Proofs 2016
Sources of the StaDy plugin for Frama-C are available here.