Rewriting-based techniques for runtime verification. (2005)

by G Rosu, K Havelund
Venue:Automated Software Engineering,