Book

Formal Approaches to Software Testing and Runtime Verification

by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff