@inproceedings{09f32d38557e43cda4c951d0630fff6a,
title = "Combining algebraic and model-based test case generation",
author = "Li Dan and Bernhard Aichernig",
note = "Revised selected papers; International Colloquium on Theoretical Aspects of Computing : ICTAC 2004 ; Conference date: 20-09-2004 Through 24-09-2004",
year = "2005",
doi = "10.1007/b107116",
language = "English",
isbn = "3-540-25304-1",
volume = "3407",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "250--264",
editor = "Zhiming Liu",
booktitle = "Theoretical aspects of computing - ICTAC 2004",
}