{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T06:47:02Z","timestamp":1792133222948,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297069","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"569-588","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":204,"title":["Mop"],"prefix":"10.1145","author":[{"given":"Feng","family":"Chen","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"RV'02","author":"Abercrombie P.","year":"2002","unstructured":"P. Abercrombie and M. Karaorman . jContractor: Bytecode instrumentation techniques for implementing DBC in Java . In RV'02 , volume 70 .4 of ENTCS , 2002 P. Abercrombie and M. Karaorman. jContractor: Bytecode instrumentation techniques for implementing DBC in Java. In RV'02, volume 70.4 of ENTCS, 2002"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_3_1","volume-title":"NGSSoftware","author":"Anley C.","year":"2002","unstructured":"C. Anley . Advanced SQL injection in SQL server applications . NGSSoftware , 2002 . C. Anley. Advanced SQL injection in SQL server applications. NGSSoftware, 2002."},{"key":"e_1_3_2_1_4_1","unstructured":"AspectC++. http:\/\/www.aspectc.org\/.  AspectC++. http:\/\/www.aspectc.org\/."},{"key":"e_1_3_2_1_5_1","series-title":"LNCS","first-page":"87","volume-title":"ASM'03","author":"Artho C.","year":"2003","unstructured":"C. Artho , D. Drusinsky , A. Goldberg , K. Havelund , M. Lowry , C. Pasareanu , G. Rosu , and W. Visser . Experiments with test case generation and runtime analysis . In ASM'03 , volume 2589 of LNCS , pages 87 -- 107 , 2003 . C. Artho, D. Drusinsky, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu, G. Rosu, and W. Visser. Experiments with test case generation and runtime analysis. In ASM'03, volume 2589 of LNCS, pages 87--107, 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052906"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297070"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"e_1_3_2_1_11_1","volume-title":"Runtime Verification (RV'05)","author":"Barringer H.","year":"2005","unstructured":"H. Barringer , B. Finkbeiner , Y. Gurevich , and H. Sipma . Runtime Verification (RV'05) . Elsevier , 2005 . ENTCS 144. H. Barringer, B. Finkbeiner, Y. Gurevich, and H. Sipma. Runtime Verification (RV'05). Elsevier, 2005. ENTCS 144."},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","first-page":"44","volume-title":"VMCAI'04","author":"Barringer H.","year":"2004","unstructured":"H. Barringer , A. Goldberg , K. Havelund , and K. Sen . Rule-Based Runtime Verification . In VMCAI'04 , volume 2937 of LNCS , pages 44 -- 57 , 2004 . H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-Based Runtime Verification. In VMCAI'04, volume 2937 of LNCS, pages 44--57, 2004."},{"key":"e_1_3_2_1_13_1","volume-title":"RV'01","author":"Bartetzko D.","year":"2001","unstructured":"D. Bartetzko , C. Fischer , M. Moller , and H. Wehrheim . Jass-Java with Assertions . In RV'01 , volume 55 .2 of ENTCS , 2001 . D. Bartetzko, C. Fischer, M. Moller, and H. Wehrheim. Jass-Java with Assertions. In RV'01, volume 55.2 of ENTCS, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_16_1","series-title":"LNCS","first-page":"525","volume-title":"ECOOP'07","author":"Bodden E.","year":"2007","unstructured":"E. Bodden , L. Hendren , and O. Lhot2ak. A staged static program analysis to improve the performance of runtime monitoring . In ECOOP'07 , volume 4609 of LNCS , pages 525 -- 549 , 2007 . E. Bodden, L. Hendren, and O. Lhot2ak. A staged static program analysis to improve the performance of runtime monitoring. In ECOOP'07, volume 4609 of LNCS, pages 525--549, 2007."},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","first-page":"357","volume-title":"ICFEM'04","author":"Chen F.","year":"2004","unstructured":"F. Chen , M. D'Amorim , and G. Ro\u015fu . A formal monitoringbased framework for software development and analysis . In ICFEM'04 , volume 3308 of LNCS , pages 357 -- 373 , 2004 . F. Chen, M. D'Amorim, and G. Ro\u015fu. A formal monitoringbased framework for software development and analysis. In ICFEM'04, volume 3308 of LNCS, pages 357--373, 2004."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.002"},{"key":"e_1_3_2_1_20_1","unstructured":"F. Chen and G. Ro\u015fu. JavaMOP. http:\/\/fsl.cs.uiuc.edu\/javamop.  F. Chen and G. Ro\u015fu. JavaMOP. http:\/\/fsl.cs.uiuc.edu\/javamop."},{"key":"e_1_3_2_1_21_1","volume-title":"RV'03","author":"Chen F.","unstructured":"F. Chen and G. Ro\u015fu . Towards monitoring-oriented programming: A paradigm combining specification and implementation . In RV'03 , volume 89(2) of ENTCS, 2003 . F. Chen and G. Ro\u015fu. Towards monitoring-oriented programming: A paradigm combining specification and implementation. In RV'03, volume 89(2) of ENTCS, 2003."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083246.1083249"},{"key":"e_1_3_2_1_24_1","unstructured":"D. Drusinsky. Temporal Rover. http:\/\/www.time-rover.com.  D. Drusinsky. Temporal Rover. http:\/\/www.time-rover.com."},{"key":"e_1_3_2_1_25_1","unstructured":"Eclipse. http:\/\/eclipse.org.  Eclipse. http:\/\/eclipse.org."},{"key":"e_1_3_2_1_26_1","unstructured":"Eiffel Language. http:\/\/www.eiffel.com\/.  Eiffel Language. http:\/\/www.eiffel.com\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094841"},{"key":"e_1_3_2_1_28_1","volume-title":"RV'01","author":"Havelund K.","year":"2001","unstructured":"K. Havelund and G. Ro\u015fu . Monitoring Java programs with Java PathExplorer . In RV'01 , volume 55 .2 of ENTCS , 2001 . K. Havelund and G. Ro\u015fu. Monitoring Java programs with Java PathExplorer. In RV'01, volume 55.2 of ENTCS, 2001."},{"key":"e_1_3_2_1_29_1","first-page":"70","article-title":"2002, 2004","volume":"55","author":"Havelund K.","year":"2001","unstructured":"K. Havelund and G. Ro\u015fu . Runtime Verification (RV'01, RV'02, RV'04). Elsevier , 2001 , 2002, 2004 . ENTCS 55 , 70 ,113. K. Havelund and G. Ro\u015fu. Runtime Verification (RV'01, RV'02, RV'04). Elsevier, 2001, 2002, 2004. ENTCS 55, 70,113.","journal-title":"ENTCS"},{"key":"e_1_3_2_1_30_1","volume-title":"Communicating Sequential Processes","author":"Hoare C.","year":"1985","unstructured":"C. Hoare . Communicating Sequential Processes . Prentice-Hall Intl ., New York, 1985 . C. Hoare. Communicating Sequential Processes. Prentice-Hall Intl., New York, 1985."},{"key":"e_1_3_2_1_31_1","unstructured":"JBoss. http:\/\/www.jboss.org.  JBoss. http:\/\/www.jboss.org."},{"key":"e_1_3_2_1_32_1","unstructured":"jHotdraw. http:\/\/www.jhotdraw.org.  jHotdraw. http:\/\/www.jhotdraw.org."},{"key":"e_1_3_2_1_33_1","series-title":"LNCS","first-page":"220","volume-title":"ECOOP'97","author":"Kiczales G.","year":"1997","unstructured":"G. Kiczales , J. Lamping , A. Menhdhekar , C. Maeda , C. Lopes , J.-M. Loingtier , and J. Irwin . Aspect-Oriented programming . In ECOOP'97 , volume 1241 of LNCS , pages 220 -- 242 , 1997 . G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented programming. In ECOOP'97, volume 1241 of LNCS, pages 220--242, 1997."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/574212"},{"key":"e_1_3_2_1_35_1","volume-title":"RV'01","author":"Kim M.","year":"2001","unstructured":"M. Kim , S. Kannan , I. Lee , and O. Sokolsky . Java-MaC: a Runtime Assurance Tool for Java . In RV'01 , volume 55 .2 of ENTCS , 2001 . M. Kim, S. Kannan, I. Lee, and O. Sokolsky. Java-MaC: a Runtime Assurance Tool for Java. In RV'01, volume 55.2 of ENTCS, 2001."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/367845.367996"},{"key":"e_1_3_2_1_37_1","unstructured":"Lucene. http:\/\/lucene.apache.org.  Lucene. http:\/\/lucene.apache.org."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094840"},{"key":"e_1_3_2_1_39_1","volume-title":"B. Meyer. Object-Oriented Software Construction","year":"2000","unstructured":"B. Meyer. Object-Oriented Software Construction , 2 nd edition. Prentice Hall , New Jersey , 2000 . B. Meyer. Object-Oriented Software Construction, 2nd edition. Prentice Hall, New Jersey, 2000.","edition":"2"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949402"},{"key":"e_1_3_2_1_41_1","volume-title":"Runtime Verification (RV'03)","author":"Sokolsky O.","year":"2003","unstructured":"O. Sokolsky and M. Viswanathan . Runtime Verification (RV'03) . Elsevier , 2003 . ENTCS 89. O. Sokolsky and M. Viswanathan. Runtime Verification (RV'03). Elsevier, 2003. ENTCS 89."},{"key":"e_1_3_2_1_42_1","unstructured":"Xalan. http:\/\/xml.apache.org\/xalan-j\/.  Xalan. http:\/\/xml.apache.org\/xalan-j\/."}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297069","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:27Z","timestamp":1750244307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297069"}},"subtitle":["an efficient and generic runtime verification framework"],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":39,"alternative-id":["10.1145\/1297027.1297069","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297069","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297069","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}