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

Faculty of Computer Science

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 language	English
Place of Publication	Venice Italy
Publisher	G. Puebla
Publication status	Published - 2006

Cite this

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