Mop: an efficient and generic runtime verification framework

Feng Chen, Grigore Rosu. Mop: an efficient and generic runtime verification framework. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 569-588, ACM, 2007. [doi]

Authors

Feng Chen

This author has not been identified. Look up 'Feng Chen' in Google

Grigore Rosu

Identified as Grigore Rosu