Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers - Petrenko, Alexandre; Ulrich, Andreas (Springer Berlin Heidelberg, 2004)