Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers - Grieskamp, Wolfgang; Weise, Carsten (Programming and Software Engineering,, 2006)