Mop: An efficient and generic runtime verification framework,” (2007)

by F Chen, G Rosu
Venue:in Object Oriented Programming, Systems, Languages, and Applications,