Model-Based Testing of Reactive Systems

by Manfred Broy (editor)

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 assessment of this emerging field, focusing on formal testing of reactive systems.

672 pages, Paperback

First published August 22, 2005

Reviews

[Sara K · Rating 3 out of 5]

another book written by a lecturer of mine who's teaching me the class as well ..