veriT: An Open, Trustable and Efficient SMT-Solver. - Thomas Bouton; Diego Caminha Barbosa De Oliveira; David Déharbe; Pascal Fontaine (CADE, 2009)

GridTPT: a distributed platform for Theorem Prover Testing. - Thomas Bouton; Diego Caminha; David Déharbe; Pascal Fontaine (PAAR@IJCAR, 2010)