@inproceedings{chen-rosu-2007-oopsla, author = {Feng Chen and Grigore Ro\c{s}u}, title = "{MOP: An Efficient and Generic Runtime Verification Framework}", booktitle = {Object-Oriented Programming, Systems, Languages and Applications(OOPSLA'07)}, year = {2007}, publisher = {ACM press}, pages = {569-588} }