François Degrave

	2010
6		Peter Biener, François Degrave, Wim Vanhoof: A Test Automation Framework for Mercury CoRR abs/1009.3765: (2010)
	2009
5		François Degrave, Tom Schrijvers, Wim Vanhoof: Towards a Framework for Constraint-Based Test Case Generation. LOPSTR 2009: 128-142
	2008
4		Wim Vanhoof, François Degrave: An Algorithm for Sophisticated Code Matching in Logic Programs. ICLP 2008: 785-789
3		François Degrave: Development of an Automatic Testing Environment for Mercury. ICLP 2008: 805-806
2		François Degrave, Tom Schrijvers, Wim Vanhoof: Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86
	2007
1		François Degrave, Wim Vanhoof: Towards a Normal Form for Mercury Programs. LOPSTR 2007: 43-58

Coauthor Index

1	Peter Biener	[6]
2	Tom Schrijvers	[2] [5]
3	Wim Vanhoof	[1] [2] [4] [5] [6]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page