Read Formal Approaches To Software Testing: 4Th International Workshop, Fates 2004, Linz, Austria, September 21, 2004, Revised Selected Papers 2005