(. F. Chen, ? Mop : an efficient and generic runtime verification framework, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.569-588, 2007.