François Degrave


Ph.D. Université de Namur 2013 Belgium
Dissertation: On automatic, constraint-based test-case generation for Mercury and its application to imperative languages
Mathematics Subject Classification: 68—Computer science

Advisor 1: Wim Vanhoof

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 187820 for the advisor ID.