Towards Automatic Generation of Parameterized Test Cases from Abstractions
Jens Calamé, Natalia Ioustinova, van de Jaco Pol, Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 2006
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms.