A Tutorial on Runtime Verification (2013)

by Y Falcone, K Havelund, G Reger
Venue:In Engineering Dependable Software Systems. NATO Science for Peace and Security Series - D: Information and Communication Security 34