Automatic Generation of Test Inputs for Mercury Programs

Wim Vanhoof, Nathalie Mweze Nabintu Feza

Research output: Working paper

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.
Original languageEnglish
Place of PublicationVenice Italy
PublisherG. Puebla
Publication statusPublished - 2006

Cite this

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.

Research output: Working paper

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.