Franois Degrave
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2007–2009
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | LOPSTR | Towards a Framework for Constraint-Based Test Case Generation. | Franois Degrave, Tom Schrijvers, Wim Vanhoof |
| 2008 | ICLP | Development of an Automatic Testing Environment for Mercury. | Franois Degrave |
| 2008 | ICLP | An Algorithm for Sophisticated Code Matching in Logic Programs. | Wim Vanhoof, Franois Degrave |
| 2008 | LOPSTR | Automatic Generation of Test Inputs for Mercury. | Franois Degrave, Tom Schrijvers, Wim Vanhoof |
| 2007 | LOPSTR | Towards a Normal Form for Mercury Programs. | Franois Degrave, Wim Vanhoof |