( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Generation of Test Inputs for Mercury.

, , и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

François Weirich

François Franceschi

François Elvinger

François Melis

François Guers

 

Другие публикации лиц с тем же именем

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, , и . CoRR, (2010)Automatic Generation of Test Inputs for Mercury., , и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2008)Towards a Normal Form for Mercury Programs., и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 43-58. Springer, (2007)An Algorithm for Sophisticated Code Matching in Logic Programs., и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 785-789. Springer, (2008)Development of an Automatic Testing Environment for Mercury.. ICLP, том 5366 из Lecture Notes in Computer Science, стр. 805-806. Springer, (2008)Towards a Framework for Constraint-Based Test Case Generation., , и . LOPSTR, том 6037 из Lecture Notes in Computer Science, стр. 128-142. Springer, (2009)