Photo of François Degrave

François Degrave

  • Belgium

  • 3 Citations
  • 1 h-Index
20072009
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2009

  • 3 Citations
  • 1 h-Index
  • 3 Chapter
  • 3 Article

An Algorithm for Sophisticated Code Matching in Logic Programs

Vanhoof, W. & Degrave, F., 2009, Proceedings of ICLP 2008. M. Garcia de la Banda and E. Pontelli, Vol. 5366.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Towards a Framework for Constraint-Based Test Case Generation

Degrave, F., Schrijvers, T. & Vanhoof, W., 2009, In : Proceedings of LOPSTR 2009. 6037, p. 128-142 15 p.

Research output: Contribution to journalArticle

Automatic Test Input Generation for Mercury

Degrave, F., Schrijvers, T. & Vanhoof, W., 2008, In : Proceedings of LOPSTR 2008. 5438, p. 71-86 16 p.

Research output: Contribution to journalArticle

Development of an Automatic Testing Environment for Mercury

Degrave, F., 2008, Proceedings of ICLP 2008. Maria Garcia de la Banda and Enrico Pontelli, Vol. 5366. p. 805-806 2 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Towards a Normal Form for Mercury Programs

Degrave, F. & Vanhoof, W., 2008, In : Proceedings of LOPSTR 2007. 4915, p. 43-58 16 p.

Research output: Contribution to journalArticle

Thesis

Inférence sur RDF et génération de XML en Mercury

Author: Degrave, F., 2006

Supervisor: Vanhoof, W. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

On automatic, constraint-based test-case generation for Mercury and its application to imperative languages

Author: Degrave, F., 26 Mar 2013

Supervisor: Vanhoof, W. (Supervisor), Habra, N. (President), Englebert, V. (Jury), Le Charlier, B. (Jury), Arenas, P. (External person) (Jury) & Schrijvers, T. (External person) (Jury)

Student thesis: Doc typesDoctor of Sciences

File