Model-Based Testing of Reactive Systems: Advanced Lectures

by

Write The First Customer Review

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. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at ...

Model-Based Testing of Reactive Systems: Advanced Lectures 2005, Springer, Berlin, Germany

ISBN-13: 9783540262787

2005 edition

Trade paperback

Select