The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
MOP: an efficient and generic runtime verification framework
Where it appeared
| Published in | Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007) |
|---|---|
| Publisher | ACM |
| Pages | 569--588 |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-24 12:47 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{chen2007mop,
title = {MOP: an efficient and generic runtime verification framework},
author = {F. Chen and G. Rosu},
year = {2007},
booktitle = {Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)},
publisher = {ACM},
pages = {569--588},
}
This record lives at https://refs.drheap.org/chen2007mop/ and will keep doing so.