Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers - Grabowski, Jens; Nielsen, Brian (Springer Berlin Heidelberg : Imprint: Springer, 2005)