Formal Approaches to Software Testing
Subtitle: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: Wolfgang Grieskamp (Editor); Carsten Weise (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 11, 2006
Language: eng
Format: Paperback
Number of pages: 219
ISBN-13: 9783540344544
Subjects: Software engineering; Programming Languages - General; Computers - Languages / Programming; Computers; Computer Books: Languages; Logic Design; Programming - Software Development; Computers / Programming / Software Development; Markov chains; UML; abstract state machines; constraint resolution; correct systems design; correctness proofs; finite state machines; formal methods; formal testing; interactive testing; model checking; model-based testing