Jens Grabowski Brian Nielsen Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers 3395 2005 3-540-25109-X FATES Lecture Notes in Computer Science Springer db/conf/fates/fates2004.html