Paper: Efficient Run-time Monitoring Using Shadow Processing
Presentation: slides
Extended and thoroughly revised version: To appear in Software - Practice & Experience