Synthesizing Monitors for Safety Properties. (2002)

by K Havelund, G Rosu
Venue:In Proceedings of TACAS’02,