Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by Joost-PieterKatoen (Editor), Martin Leucker (Editor), Manfred Broy (Editor), Bengt Jonsson (Editor), Alexander Pretschner (Editor)

• New

  Paperback
  2005

  $104.55

  The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.