Model-based testing of reactive systems : advanced lectures / Manfred Broy ... [et al.] (eds.). - Berlin : Springer, 2005. - viii, 659 p. : ill. ; 24 cm. - Lecture notes in computer science ; 3472 0302-9743 ; .

Includes bibliographical references (p. [617]-651) and index.

9783540262787 3540262784


Computer software--Testing.
Information technology.

005.14 / M689