Publication Date: 2006
ISBN: 978-3-540-34455-1
Internet Resource: Please Login to download book
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.
Subject: Computer Science, Markov chains, Resolution, abstract state machines, automata, constraint resolution, correct systems design, correctness proofs, finite state machines, formal methods, formal testing, interactive testing, model checking, real-time, testing, theorem proving