Model-Based Testing of Reactive Systems

Volume 3472 of the series Lecture Notes in Computer Science pp 1-3

Part I. Testing of Finite State Machines

  • Manfred BroyAffiliated withInstitute for Informatics I4, TU Munich
  • , Bengt JonssonAffiliated withDepartment of Computer Systems, Uppsala University
  • , Joost-Pieter KatoenAffiliated withDepartment of Computer Science, University of Twente
  • , Martin LeuckerAffiliated withInstitute for Informatics I4, TU Munich
  • , Alexander PretschnerAffiliated withD-INFK, Information Security, ETH Zurich

* Final gross prices may vary according to local VAT.

Get Access


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.