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

    51 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