Formal approaches to software testing and runtime verification
Subtitle: first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers
By: Klaus Havelund ... [et al.] (eds.).
Contributors: Havelund, Klaus, 1955-
Series: Lecture notes in computer science -- 4262
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 253
ISBN-13: 9783540496991
Subjects: Formal methods (Computer science) -- Congresses; Computer software -- Testing -- Congresses
Genres: Congresses.
Other titles: FATES 2006; RV 2006; FATES/RV 2006
Notes: International conference proceedings.

Includes bibliographical references and index.

Also issued online.