{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:29:49Z","timestamp":1769722189898,"version":"3.49.0"},"reference-count":115,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1109\/ase63991.2025.00189","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:38Z","timestamp":1769633678000},"page":"2286-2298","source":"Crossref","is-referenced-by-count":0,"title":["Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring"],"prefix":"10.1109","author":[{"given":"Shinhae","family":"Kim","sequence":"first","affiliation":[{"name":"Cornell University,Department of Computer Science,Ithaca,New York,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saikat","family":"Dutta","sequence":"additional","affiliation":[{"name":"Cornell University,Department of Computer Science,Ithaca,New York,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Owolabi","family":"Legunsen","sequence":"additional","affiliation":[{"name":"Cornell University,Department of Computer Science,Ithaca,New York,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3292500.3330701"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110617"},{"key":"ref3","article-title":"Appendable threadsafe.mop"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1449955.1449776"},{"key":"ref5","article-title":"ARTCAT: Autonomic response to cyber-attack"},{"key":"ref6","article-title":"Asterisk-java","year":"2025"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297070"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35632-2_18"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180164"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806805"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_28"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn077"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_25"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453109"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0182-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88494-9_7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.50"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_23"},{"key":"ref20","article-title":"Efficient runtime verification for the Linux kernel","author":"de Oliveira"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_54"},{"key":"ref22","article-title":"Jpoker","year":"2025"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_4"},{"key":"ref24","article-title":"Hyperparameters in reinforcement learning and how to tune them","author":"Eimer","year":"2023"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.07.001"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1414004.1414011"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848461"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/979-8-8688-0273-7_1"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.230"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771784"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_19"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643019"},{"key":"ref33","article-title":"Stanford CoreNLP: A Java suite of core NLP tools","author":"Group","year":"2025"},{"key":"ref34","article-title":"ASM-NonClassloadingExtensions","year":"2025"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3763183"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680400"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00099"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3696630.3728613"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983932"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2018.00022"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/504311.504305"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-74234-7_14"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989799"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-74234-7_15"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106270"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970358"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0184-4"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_30"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2941229"},{"key":"ref52","article-title":"Cassette-nibbler: Data recovery from 8-bit computer cassette tapes","year":"2017"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993547"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227231"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.01.027"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0053381"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/emrts.1999.777457"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1994.336774"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00038"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/DASC50938.2020.9256446"},{"key":"ref61","article-title":"Towards categorizing and formalizing the JDK API","author":"Lee","year":"2012","journal-title":"Computer Science Dept., UIUC, Tech. Rep."},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.206"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00037"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-019-00267-1"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950361"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970356"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115710"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3585927"},{"key":"ref69","article-title":"Listiterator_set.mop"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598086"},{"key":"ref71","article-title":"EALRTS: A predictive regression test selection tool","volume-title":"Master\u2019s thesis","author":"Lundsten","year":"2019"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635920"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_24"},{"key":"ref74","article-title":"RBED: Reward based epsilon decay","author":"Maroti","year":"2019"},{"key":"ref75","article-title":"Math_contendedrandom.mop"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693067"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0063-y"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00038"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-006"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44267-4_8"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_16"},{"key":"ref82","article-title":"Math.random() method","year":"2006"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029928"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2017.12"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44267-4_1"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869483"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483762"},{"key":"ref89","volume-title":"Introduction to probability models","author":"Ross","year":"2014"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1993.366926"},{"issue":"2","key":"ref91","article-title":"A safe, efficient regression test selection technique","volume":"6","author":"Ross","year":"1997","journal-title":"TOSEM"},{"key":"ref92","article-title":"Java.math.expression.parser","year":"2023"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40965-6_17"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.40"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1145\/3360613"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338925"},{"key":"ref97","article-title":"Valg","year":"2025"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44267-4_17"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44267-4_23"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE59848.2023.00048"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-023-00708-z"},{"key":"ref102","article-title":"Reinforcement learning: An introduction","author":"Sutton","year":"2018"},{"key":"ref103","article-title":"TraceMOP: A trace-aware runtime verification tool for Java","year":"2024"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1007\/BF00993306"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17196-3_23"},{"key":"ref106","article-title":"Policy gradient algorithms","author":"Weng","year":"2018"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44267-4_2"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_18"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.72"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44267-4_10"},{"key":"ref111","article-title":"A method for selecting regression test cases based on software changes and software faults","volume-title":"Master\u2019s thesis","author":"Yilmaz","year":"2019"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44267-4_20"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1145\/3524481.3527230"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180198"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00056"}],"event":{"name":"2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Seoul, Korea, Republic of","start":{"date-parts":[[2025,11,16]]},"end":{"date-parts":[[2025,11,20]]}},"container-title":["2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11334056\/11334198\/11334469.pdf?arnumber=11334469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T10:09:12Z","timestamp":1769681352000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11334469\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"references-count":115,"URL":"https:\/\/doi.org\/10.1109\/ase63991.2025.00189","relation":{},"subject":[],"published":{"date-parts":[[2025,11,16]]}}}