Mop: an efficient and generic runtime verification framework.

Feng Chen, Grigore Rosu

Browse the full OOPSLA paper archive.