François Degrave

Constraint-based Test Generation for Pointer-based Data Structures

T. Schrijvers, W. Vanhoof, François Degrave, 2009 .

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

François Degrave, François Degrave, 2013 .