Towards a Normal Form for Mercury Programs. - François Degrave; Wim Vanhoof (LOPSTR, 2007)

Development of an Automatic Testing Environment for Mercury. - François Degrave (ICLP, 2008)

An Algorithm for Sophisticated Code Matching in Logic Programs. - Wim Vanhoof; François Degrave (ICLP, 2008)

Automatic Generation of Test Inputs for Mercury. - François Degrave; Tom Schrijvers; Wim Vanhoof (LOPSTR, 2008)

Towards a Framework for Constraint-Based Test Case Generation. - François Degrave; Tom Schrijvers; Wim Vanhoof (LOPSTR, 2009)

A Test Automation Framework for Mercury - Peter Biener; François Degrave; Wim Vanhoof (CoRR, 2010)

De la génération automatique, basée sur les contraintes, de cas de test pour Mercury et son application aux langages impératifs - François Degrave (2013)