Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

by Manfred Broy

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.

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 ..