Tools for Test Case Generation

Axel Belinfante, Lars Frantzen, Christian Schallhart

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    32 Citations (Scopus)


    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.
    Original languageUndefined
    Title of host publicationModel-Based Testing of Reactive Systems: Advanced Lectures
    EditorsManfred Broy, Bengt Jonsson, Joost P. Katoen, Martin Leucker, Alexander Pretschner
    Place of PublicationBerlin
    Number of pages48
    ISBN (Print)3 540 26278 4
    Publication statusPublished - 2005

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag


    • EWI-1578
    • IR-62839
    • METIS-229288

    Cite this

    Belinfante, A., Frantzen, L., & Schallhart, C. (2005). Tools for Test Case Generation. In M. Broy, B. Jonsson, J. P. Katoen, M. Leucker, & A. Pretschner (Eds.), Model-Based Testing of Reactive Systems: Advanced Lectures (pp. 391-438). [10.1007/11498490_18] (Lecture Notes in Computer Science; Vol. 3472, No. 3472). Berlin: Springer.