{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:15:32Z","timestamp":1775873732339,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","funder":[{"name":"Intel Rising Star Faculty Award"},{"name":"Google Cyber NYC Institutional Research Award"},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2045596"],"award-info":[{"award-number":["CCF-2045596"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2319473"],"award-info":[{"award-number":["CCF-2319473"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2403035"],"award-info":[{"award-number":["CCF-2403035"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728613","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:08:09Z","timestamp":1753729689000},"page":"1218-1222","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["TraceMOP: An Explicit-Trace Runtime Verification Tool for Java"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-4553-7474","authenticated-orcid":false,"given":"Kevin","family":"Guan","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5631-4816","authenticated-orcid":false,"given":"Owolabi","family":"Legunsen","sequence":"additional","affiliation":[{"name":"Cornell Universtiy, Ithaca, New York, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Monitoring programs using rewriting,\" in ASE","author":"Havelund K.","year":"2001","unstructured":"K. Havelund and G. Ro\u015fu, \"Monitoring programs using rewriting,\" in ASE, 2001."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/867132"},{"key":"e_1_3_2_1_3_1","volume-title":"Formally specified monitoring of temporal properties,\" in ECRTS","author":"Kim M.","year":"1999","unstructured":"M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky, \"Formally specified monitoring of temporal properties,\" in ECRTS, 1999."},{"key":"e_1_3_2_1_4_1","unstructured":"\"ARTCAT: Autonomic Response To Cyber-Attack \" https:\/\/grammatech.github.io\/prj\/artcat."},{"key":"e_1_3_2_1_5_1","unstructured":"D. B. de Oliveira \"Efficient runtime verification for the Linux kernel \" https:\/\/research.redhat.com\/blog\/article\/efficient-runtime-verification-for-the-linux-kernel."},{"issue":"4","key":"e_1_3_2_1_6_1","volume":"26","author":"Legunsen O.","year":"2019","unstructured":"O. Legunsen, N. A. Awar, X. Xu, W. U. Hassan, G. Ro\u015fu, and D. Marinov, \"How effective are existing Java API specifications for finding bugs during runtime verification?\" ASE Journal, vol. 26, no. 4, 2019.","journal-title":"\" ASE Journal"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"B. Miranda I. Lima O. Legunsen and M. d'Amorim \"Prioritizing runtime verification violations \" in ICST 2020.","DOI":"10.1109\/ICST46399.2020.00038"},{"key":"e_1_3_2_1_8_1","volume-title":"Large-scale evaluation of the efficiency of runtime-verification tools in the wild,\" in APSEC","author":"Javed O.","year":"2018","unstructured":"O. Javed and W. Binder, \"Large-scale evaluation of the efficiency of runtime-verification tools in the wild,\" in APSEC, 2018."},{"key":"e_1_3_2_1_9_1","volume-title":"How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications,\" in ASE","author":"Legunsen O.","year":"2016","unstructured":"O. Legunsen, W. U. Hassan, X. Xu, G. Ro\u015fu, and D. Marinov, \"How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications,\" in ASE, 2016."},{"key":"e_1_3_2_1_10_1","volume-title":"University of Stuttgart","author":"Burk F.","year":"2023","unstructured":"F. Burk, \"A dynamic analysis-based linter for python,\" Master's thesis, University of Stuttgart, Germany, 2023."},{"key":"e_1_3_2_1_11_1","volume-title":"DyLin: A Dynamic Linter for Python,\" in FSE","author":"Eghbali A.","year":"2025","unstructured":"A. Eghbali, F. Burk, and M. Pradel, \"DyLin: A Dynamic Linter for Python,\" in FSE, 2025."},{"key":"e_1_3_2_1_12_1","volume-title":"Techniques for evolution-aware runtime verification,\" in ICST","author":"Legunsen O.","year":"2019","unstructured":"O. Legunsen, Y. Zhang, M. Hadzi-Tanovic, G. Ro\u015fu, and D. Marinov, \"Techniques for evolution-aware runtime verification,\" in ICST, 2019."},{"key":"e_1_3_2_1_13_1","volume-title":"Evolution-aware monitoring-oriented programming,\" in ICSE NIER","author":"Legunsen O.","year":"2015","unstructured":"O. Legunsen, D. Marinov, and G. Ro\u015fu, \"Evolution-aware monitoring-oriented programming,\" in ICSE NIER, 2015."},{"key":"e_1_3_2_1_14_1","volume-title":"eMOP: A Maven plugin for evolution-aware runtime verification,\" in RV","author":"Yorihiro A.","year":"2023","unstructured":"A. Yorihiro, P. Jiang, V. Marques, B. Carleton, and O. Legunsen, \"eMOP: A Maven plugin for evolution-aware runtime verification,\" in RV, 2023."},{"key":"e_1_3_2_1_15_1","volume-title":"Instrumentation-driven evolution-aware runtime verification,\" in ICSE","author":"Guan K.","year":"2024","unstructured":"K. Guan and O. Legunsen, \"Instrumentation-driven evolution-aware runtime verification,\" in ICSE, 2024."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"K. Guan \"An in-depth study of runtime verification overheads during software testing \" in ISSTA 2024.","DOI":"10.1145\/3650212.3680400"},{"key":"e_1_3_2_1_17_1","unstructured":"\"JavaMOP \" https:\/\/github.com\/runtimeverification\/javamop."},{"key":"e_1_3_2_1_18_1","unstructured":"\"RV-Monitor \" https:\/\/github.com\/runtimeverification\/rv-monitor."},{"key":"e_1_3_2_1_19_1","unstructured":"\"Performance regression that we find in JavaMOP \" https:\/\/github.com\/runtimeverification\/rv-monitor\/commit\/884f9622f."},{"key":"e_1_3_2_1_20_1","unstructured":"\"JavaParser - Home \" https:\/\/javaparser.org."},{"key":"e_1_3_2_1_21_1","unstructured":"\"Guide to Working with Multiple Modules - Maven \" https:\/\/maven.apache.org\/guides\/mini\/guide-multiple-modules.html."},{"key":"e_1_3_2_1_22_1","unstructured":"C. Lee D. Jin P. O. Meredith and G. Ro\u015fu \"Towards categorizing and formalizing the JDK API \" Computer Science Dept. UIUC Tech. Rep. 2012."},{"key":"e_1_3_2_1_23_1","unstructured":"\"Collections_SynchronizedCollection \" https:\/\/docs.oracle.com\/en\/java\/javase\/17\/docs\/api\/java.base\/java\/util\/Collections.html#synchronizedCollection(java.util.Collection)."},{"key":"e_1_3_2_1_24_1","unstructured":"\"Dockerfile for setting up TraceMOP \" https:\/\/github.com\/SoftEngResearch\/tracemop\/tree\/master\/docs\/OutsideDocker.md."},{"key":"e_1_3_2_1_25_1","unstructured":"\"Adding TraceMOP Maven Plugin To pom.xml files \" https:\/\/github.com\/SoftEngResearch\/tracemop\/tree\/master\/docs\/AddPluginToPom.md."},{"key":"e_1_3_2_1_26_1","unstructured":"\"Adding TraceMOP to our Functional Utils fork \" https:\/\/github.com\/guan-kevin\/functional-utils\/blob\/d6cdc789b00b941bd7a9cf962a9947d5d0336085\/.github\/workflows\/package.yml#L27."},{"key":"e_1_3_2_1_27_1","unstructured":"\"A sample GitHub Actions run with TraceMOP in our Functional Utils fork \" https:\/\/github.com\/guan-kevin\/functional-utils\/actions\/runs\/12739129442."},{"key":"e_1_3_2_1_28_1","unstructured":"\"A sample GitHub Actions run with TraceMOP in our Functional Utils fork \" https:\/\/github.com\/guan-kevin\/functional-utils\/blob\/d6cdc789b00b941bd7a9cf962a9947d5d0336085\/.github\/workflows\/package.yml#L27."},{"key":"e_1_3_2_1_29_1","unstructured":"\"TraceMOP GitHub releases \" https:\/\/github.com\/SoftEngResearch\/tracemop\/releases."},{"key":"e_1_3_2_1_30_1","unstructured":"\"Building a TraceMOP Java Agent \" https:\/\/github.com\/SoftEngResearch\/tracemop\/tree\/master\/docs\/BuildAgent.md."},{"key":"e_1_3_2_1_31_1","unstructured":"\"Adding TraceMOP's Java Agent to a Maven project \" https:\/\/github.com\/SoftEngResearch\/tracemop\/tree\/master\/docs\/AddAgent.md."},{"key":"e_1_3_2_1_32_1","unstructured":"\"Debugging Flaky Violations \" https:\/\/github.com\/SoftEngResearch\/tracemop\/blob\/master\/docs\/FlakyViolations.md."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_34_1","volume-title":"Garbage collection for monitoring parametric properties,\" in PLDI","author":"Jin D.","year":"2011","unstructured":"D. Jin, P. O. Meredith, D. Griffith, and G. Ro\u015fu, \"Garbage collection for monitoring parametric properties,\" in PLDI, 2011."}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:43Z","timestamp":1753729783000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728613"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":34,"alternative-id":["10.1145\/3696630.3728613","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728613","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}