"Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers" - читать интересную книгу автора (Jens Grabowski, Brian Nielsen)