Formal Approaches to Software Testing and Runtime Verification
Subtitle: First Combined International Workshops FATES 2006 and RV 2006,     Seattle, WA, USA, August ... Papers (Lecture Notes in Computer Science)
Contributors: Klaus Havelund (Editor); Manuel Núnez (Editor); Grigore Rosu (Editor); Burkhart Wolff (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 19, 2007
Language: eng
Format: Paperback
Number of pages: 255
ISBN-13: 9783540496991
Subjects: Software Engineering; Formal Language Theory; Computers; Computers - Languages / Programming; Computer Books: Languages; Logic Design; Programming Languages - General; Computers / Programming / Software Development; JML; Markov chains; abstract state machines; automated testing; constraint resolution; correct systems design; correctness proofs; debugging; fault protection; Computer Science; Programming - Software Development