1. Thorsten Bormer, Marc Brockschmidt, and Dino Distefano. 2011. The COST IC0701 Verification Competition. In International Conference on Formal Verification of Object-Oriented Software (FoVeOO). 3–21.
2. Contract-based program repair without the contracts
3. Z3: An Efficient SMT Solver
4. Michael D Ernst, Jeff H Perkins, Philip J Guo, Stephen McCamant, Carlos Pacheco, Matthew S Tschantz, and Chen Xiao. 2007. The Daikon system for dynamic detection of likely invariants. Science of computer programming, 69, 1-3 (2007), 35–45.
5. Vladimir Klebanov and Peter Müller. 2011. The 1st Verified Software Competition: Experience Report. In International Symposium on Formal Methods (FM). 154–168.