Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - FATES/RV 2006 (2006 : Seattle, Wash.); Havelund, Klaus; 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