Formal Approaches to Software Testing (vol. # 3997) 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers - FATES 2005 (2005 : Edinburgh, Scotland); Grieskamp, Wolfgang; Weise, Carsten; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Formal methods (Computer science) -- Congresses; Computer software -- Testing -- Congresses; Computer Science; Logics and Meanings of Programs; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters; Software Engineering