( en | de | ru )

 

Disambiguierung von "Degrave, François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Generation of Test Inputs for Mercury.

, , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

François Weirich

François Elvinger

François Franceschi

François Melis

François Guers

 

Weitere Publikationen von Autoren mit dem selben Namen

De la génération automatique, basée sur les contraintes, de cas de test pour Mercury et son application aux langages impératifs. University of Namur, Belgium, (2013)A Test Automation Framework for Mercury, , und . CoRR, (2010)Automatic Generation of Test Inputs for Mercury., , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2008)Towards a Normal Form for Mercury Programs., und . LOPSTR, Volume 4915 von Lecture Notes in Computer Science, Seite 43-58. Springer, (2007)Development of an Automatic Testing Environment for Mercury.. ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 805-806. Springer, (2008)Towards a Framework for Constraint-Based Test Case Generation., , und . LOPSTR, Volume 6037 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2009)An Algorithm for Sophisticated Code Matching in Logic Programs., und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 785-789. Springer, (2008)