Part I. Testing of Finite State Machines

* Final gross prices may vary according to local VAT.

Get Access

Abstract

The first part of the book is devoted to the problem of black-box testing of finite state machines in order to discover properties of their behavior and to check that they conform to given specifications.