Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy (Editor), Bengt Jonsson, Joost-Pieter Katoen (Editor), Martin Leucker, Alexander Pretschner

    Research output: Book/ReportBook editingAcademic

    38 Downloads (Pure)
    Original languageEnglish
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Number of pages616
    ISBN (Electronic)978-3-540-32037-1
    ISBN (Print)978-3-540-26278-7
    DOIs
    Publication statusPublished - 2005

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume3472
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • UML
    • Unified Modeling Language (UML)
    • Algorithms
    • Automata
    • Finite-state machines
    • Formal methods
    • Formal testing methods
    • Hardware verification
    • Hybrid systems
    • Model checking
    • Model-based testing
    • Reactive systems
    • Software testing
    • Software verification
    • Systems verification

    Cite this

    Broy, M. (Ed.), Jonsson, B., Katoen, J-P. (Ed.), Leucker, M., & Pretschner, A. (2005). Model-Based Testing of Reactive Systems: Advanced Lectures. (Lecture Notes in Computer Science; Vol. 3472). Berlin, Heidelberg: Springer. https://doi.org/10.1007/b137241