@inbook{819a97ae8092453f8971ab5093596c1f,
title = "Tools for Test Case Generation",
abstract = "The preceding parts of this book have mainly dealt with test theory, aimed at improving the practical techniques which are applied by testers to enhance the quality of soft- and hardware systems. Only if these academic results can be efficiently and successfully transferred back to practice, they were worth the effort.",
keywords = "EWI-1578, IR-62839, METIS-229288",
author = "Axel Belinfante and Lars Frantzen and Christian Schallhart",
note = "eemcs1578 ",
year = "2005",
doi = "10.1007/11498490_18",
language = "Undefined",
isbn = "3 540 26278 4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "3472",
pages = "391--438",
editor = "Manfred Broy and Bengt Jonsson and Katoen, {Joost P.} and Martin Leucker and Alexander Pretschner",
booktitle = "Model-Based Testing of Reactive Systems: Advanced Lectures",
address = "Netherlands",
}