Automatic Generation of Test Inputs for Mercury Programs

Wim Vanhoof, Nathalie Mweze Nabintu Feza

Résultats de recherche: Papier de travailArticle de travail

Résumé

In this extended abstract, we sketch an approach for the automatic generation of test inputs that can be used for unit testing Mercury programs.
langue originaleAnglais
Lieu de publicationVenice Italy
ÉditeurG. Puebla
étatPublié - 2006

Citer ceci

Vanhoof, W., & Mweze Nabintu Feza, N. (2006). Automatic Generation of Test Inputs for Mercury Programs. Venice Italy: G. Puebla.
Vanhoof, Wim ; Mweze Nabintu Feza, Nathalie. / Automatic Generation of Test Inputs for Mercury Programs. Venice Italy : G. Puebla, 2006.
@techreport{ee8bab60037c4a7aa6a4a8e14eb9e85a,
title = "Automatic Generation of Test Inputs for Mercury Programs",
abstract = "In this extended abstract, we sketch an approach for the automatic generation of test inputs that can be used for unit testing Mercury programs.",
author = "Wim Vanhoof and {Mweze Nabintu Feza}, Nathalie",
year = "2006",
language = "English",
publisher = "G. Puebla",
type = "WorkingPaper",
institution = "G. Puebla",

}

Vanhoof, W & Mweze Nabintu Feza, N 2006 'Automatic Generation of Test Inputs for Mercury Programs' G. Puebla, Venice Italy.

Automatic Generation of Test Inputs for Mercury Programs. / Vanhoof, Wim; Mweze Nabintu Feza, Nathalie.

Venice Italy : G. Puebla, 2006.

Résultats de recherche: Papier de travailArticle de travail

TY - UNPB

T1 - Automatic Generation of Test Inputs for Mercury Programs

AU - Vanhoof, Wim

AU - Mweze Nabintu Feza, Nathalie

PY - 2006

Y1 - 2006

N2 - In this extended abstract, we sketch an approach for the automatic generation of test inputs that can be used for unit testing Mercury programs.

AB - In this extended abstract, we sketch an approach for the automatic generation of test inputs that can be used for unit testing Mercury programs.

M3 - Working paper

BT - Automatic Generation of Test Inputs for Mercury Programs

PB - G. Puebla

CY - Venice Italy

ER -

Vanhoof W, Mweze Nabintu Feza N. Automatic Generation of Test Inputs for Mercury Programs. Venice Italy: G. Puebla. 2006.