Automatic Generation of Test Inputs for Mercury Programs

Wim Vanhoof; Nathalie Mweze Nabintu Feza

Automatic Generation of Test Inputs for Mercury Programs

Wim Vanhoof, Nathalie Mweze Nabintu Feza

Faculte d'informatique

Résultats de recherche: Papier de travail › Article 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 originale	Anglais
Lieu de publication	Venice Italy
Éditeur	G. Puebla
Etat de la publication	Publié - 2006

Contient cette citation

@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",

}

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 -