Formal Approaches to Software Testing (vol. # 3997)
Publication year: 2006
: 978-3-540-34455-1
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.
: 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
