Towards automatic generation of parameterized test cases from abstractions

J.R. Calamé, N. Ioustinova, J.C. Pol, van de

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages39
Publication statusPublished - 2006

Publication series

NameCWI Report
VolumeSEN-E0602

Cite this