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

20 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
Broy, Manfred (Editor) ; Jonsson, Bengt ; Katoen, Joost-Pieter (Editor) ; Leucker, Martin ; Pretschner, Alexander. / Model-Based Testing of Reactive Systems : Advanced Lectures. Berlin, Heidelberg : Springer, 2005. 616 p. (Lecture Notes in Computer Science).
@book{d1243869962b47639d1039e3750e2180,
title = "Model-Based Testing of Reactive Systems: Advanced Lectures",
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",
author = "Bengt Jonsson and Martin Leucker and Alexander Pretschner",
editor = "Manfred Broy and Joost-Pieter Katoen",
year = "2005",
doi = "10.1007/b137241",
language = "English",
isbn = "978-3-540-26278-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",

}

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, Springer, Berlin, Heidelberg. https://doi.org/10.1007/b137241

Model-Based Testing of Reactive Systems : Advanced Lectures. / Broy, Manfred (Editor); Jonsson, Bengt; Katoen, Joost-Pieter (Editor); Leucker, Martin; Pretschner, Alexander.

Berlin, Heidelberg : Springer, 2005. 616 p. (Lecture Notes in Computer Science; Vol. 3472).

Research output: Book/ReportBook editingAcademic

TY - BOOK

T1 - Model-Based Testing of Reactive Systems

T2 - Advanced Lectures

AU - Jonsson, Bengt

AU - Leucker, Martin

AU - Pretschner, Alexander

A2 - Broy, Manfred

A2 - Katoen, Joost-Pieter

PY - 2005

Y1 - 2005

KW - UML

KW - Unified Modeling Language (UML)

KW - Algorithms

KW - Automata

KW - Finite-state machines

KW - Formal methods

KW - Formal testing methods

KW - Hardware verification

KW - Hybrid systems

KW - Model checking

KW - Model-based testing

KW - Reactive systems

KW - Software testing

KW - Software verification

KW - Systems verification

U2 - 10.1007/b137241

DO - 10.1007/b137241

M3 - Book editing

SN - 978-3-540-26278-7

T3 - Lecture Notes in Computer Science

BT - Model-Based Testing of Reactive Systems

PB - Springer

CY - Berlin, Heidelberg

ER -

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