Model-Based Testing of Reactive Systems : Advanced Lectures

Image of Model-Based Testing of Reactive Systems : Advanced Lectures

The best price by

$191.95

Review this product

Model-Based Testing of Reactive Systems : Advanced Lectures Description

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 the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite [Read more...]

Prices updated daily on Shopbot. Please refer to the retailer’s website for final price.

Compare prices

Product Image
Product Details
Price Product and pricing data are sourced from third parties for informational purposes only. We strive to provide correct information, but are not responsible for inaccuracies. Should you find any errors, please help us by reporting it.

People also viewed