BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Italy
1 × Portugal
1 × Spain
Collaborated with:
W.Vanhoof T.Schrijvers
Talks about:
mercuri (3) test (3) program (2) generat (2) automat (2) toward (2) constraint (1) framework (1) algorithm (1) sophist (1)

Person: François Degrave

DBLP DBLP: Degrave:Fran=ccedil=ois

Contributed to:

LOPSTR 20092009
ICLP 20082008
LOPSTR 20082008
LOPSTR 20072007

Wrote 5 papers:

LOPSTR-2009-DegraveSV #constraints #framework #generative #testing #towards
Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.
ICLP-2008-Degrave #automation #development #testing
Development of an Automatic Testing Environment for Mercury (FD), pp. 805–806.
ICLP-2008-VanhoofD #algorithm #logic programming #source code
An Algorithm for Sophisticated Code Matching in Logic Programs (WV, FD), pp. 785–789.
LOPSTR-2008-DegraveSV #automation #generative #testing
Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.
LOPSTR-2007-DegraveV #normalisation #source code #towards
Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.