Model-Based Testing of Reactive Systems Advanced Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Broy, Manfred (Editor), Jonsson, Bengt (Editor), Katoen, Joost-Pieter (Editor), Leucker, Martin (Editor), Pretschner, Alexander (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3472
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth ass...