"Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers" - читать интересную книгу автора (Wolfgang Grieskamp, Carsten Weise)