Model-based Testing of Reactive Systems

TitleModel-based Testing of Reactive Systems
Publication TypeBook
Year of Publication2005
Series EditorBroy, M, Jonsson, B, Joost-Pieter Katoen, Leucker, M, Pretschner, A
Series TitleLecture Notes in Computer Science
@book {BroyJKLP05,
	title = {Model-based Testing of Reactive Systems},
	series = {Lecture Notes in Computer Science},
	volume = {3472},
	year = {2005},
	publisher = {Springer},
	organization = {Springer},
	editor = {Manfred Broy and Bengt Jonsson and Joost-Pieter Katoen and Martin Leucker and Alexander Pretschner}