"Formal Approaches to Software Testing and Runtime Verification" - читать интересную книгу автора (Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff)