{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:22:23Z","timestamp":1779074543467,"version":"3.51.4"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227231","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"1427-1430","source":"Crossref","is-referenced-by-count":59,"title":["JavaMOP: Efficient parametric runtime monitoring framework"],"prefix":"10.1109","author":[{"given":"Dongyun","family":"Jin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick O'Neil","family":"Meredith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Choonghwan","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigore","family":"Rosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"An overview of the MOP runtime verification framework","author":"meredith","year":"2011","journal-title":"International Journal on Software Techniques for Technology Transfer"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.50"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993547"},{"key":"15","first-page":"49","article-title":"The Spec# programming system: An overview","volume":"3362","author":"barnett","year":"2004","journal-title":"LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn076"},{"key":"13","first-page":"105","article-title":"JML: Notations and tools supporting detailed design in Java","author":"leavens","year":"2000","journal-title":"Proceedings of Object-Oriented Programming Systems Languages and Applications (OOPSLA"},{"key":"14","author":"lu","year":"2007","journal-title":"The Design and Implementation of P2V An Architecture for Zero-overhead Online Verification of Software Programs"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.1999.777457"},{"key":"12","article-title":"JContractor: Bytecode instrumentation techniques for implementing DBC in Java","volume":"70","author":"abercrombie","year":"2002","journal-title":"ENTCS"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.25"},{"key":"3","first-page":"44","article-title":"Rule-Based Runtime Verification","volume":"2937","author":"barringer","year":"2004","journal-title":"LNCS"},{"key":"20","first-page":"327","article-title":"An overview of AspectJ","volume":"2072","author":"kiczales","year":"2001","journal-title":"LNCS"},{"key":"2","first-page":"323","article-title":"The Temporal Rover and the ATG Rover","volume":"1885","author":"drusinsky","year":"2000","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"10","article-title":"Jass-Java with Assertions","volume":"55","author":"bartetzko","year":"2001","journal-title":"ENTCS"},{"key":"7","first-page":"569","article-title":"MOP: An efficient and generic runtime verification framework","author":"chen","year":"2007","journal-title":"Proceedings of Object-Oriented Programming Systems Languages and Applications (OOPSLA"},{"key":"6","first-page":"385","article-title":"Relational queries over program traces","author":"goldsmith","year":"2005","journal-title":"Proceedings of Object-Oriented Programming Systems Languages and Applications (OOPSLA"},{"key":"5","first-page":"365","article-title":"Finding application errors and security flaws using PQL: A program query language","author":"martin","year":"2005","journal-title":"Object Oriented Programming Systems Languages and Applications (OOPSLA'07)"},{"key":"4","first-page":"589","article-title":"Making trace monitors feasible","author":"avgustinov","year":"2007","journal-title":"Proceedings of Object-Oriented Programming Systems Languages and Applications (OOPSLA"},{"key":"9","author":"bodden","year":"2005","journal-title":"J-lo A tool for runtime-checking temporal assertions"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083249"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","location":"Zurich","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227231.pdf?arnumber=6227231","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T20:08:36Z","timestamp":1490126916000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227231\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227231","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}