Automatic Generation of Test Inputs for Mercury Programs

Wim Vanhoof, Nathalie Mweze Nabintu Feza

Research output: Working paper


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