François Degrave

According to our database, François Degrave authored at least 7 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

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

PhD thesis, 2013

2010

A Test Automation Framework for Mercury

Peter Biener, François Degrave, Wim Vanhoof

CoRR, 2010

2009

Towards a Framework for Constraint-Based Test Case Generation.

François Degrave, Tom Schrijvers, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

Automatic Generation of Test Inputs for Mercury.

François Degrave, Tom Schrijvers, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

An Algorithm for Sophisticated Code Matching in Logic Programs.

Wim Vanhoof, François Degrave

Proceedings of the Logic Programming, 24th International Conference, 2008

Development of an Automatic Testing Environment for Mercury.

François Degrave

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Towards a Normal Form for Mercury Programs.

François Degrave, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007