Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers - Grabowski, Jens (Lecture Notes in Computer Science Ser.)