{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:36:07Z","timestamp":1759826167116,"version":"3.37.3"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"JSPS KAKENHI"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,3,1]]},"DOI":"10.1109\/tse.2022.3174408","type":"journal-article","created":{"date-parts":[[2022,5,11]],"date-time":"2022-05-11T20:16:17Z","timestamp":1652300177000},"page":"1299-1322","source":"Crossref","is-referenced-by-count":2,"title":["Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1106-1709","authenticated-orcid":false,"given":"Kenji","family":"Tei","sequence":"first","affiliation":[{"name":"Waseda University, Shinjuku City, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1939-4455","authenticated-orcid":false,"given":"Yasuyuki","family":"Tahara","sequence":"additional","affiliation":[{"name":"University of Electro-Communications, Chofu, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6717-7028","authenticated-orcid":false,"given":"Akihiko","family":"Ohsuga","sequence":"additional","affiliation":[{"name":"University of Electro-Communications, Chofu, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/38765.38821"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800513"},{"key":"ref3","first-page":"174","article-title":"Javassist \u2013 A reflection-based programming wizard for Java","volume-title":"Proc. OOPSLA Workshop Reflective Program. C Java","author":"Chiba"},{"volume-title":"Java in a Nutshell","year":"2005","author":"Flanagan","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253638"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810329"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_17"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2168260.2168268"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2009.5069072"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.21"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2555612"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.19"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5_4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-74313-4_10"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91271-4_2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3295739"},{"key":"ref18","first-page":"26:1","article-title":"Efficient reflection string analysis via graph coloring","volume-title":"Proc. 32nd Eur. Conf. Object-Oriented Program.","author":"Grech"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.343"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.11.043"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"volume-title":"The SPIN Model Checker: Primer and Reference Manual","year":"2004","author":"Holzmann","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_59"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035378"},{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370020"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897056"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028741"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2016.7845450"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.4"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2876843"},{"key":"ref33","first-page":"1","article-title":"Compositional verification of self-adaptive cyber-physical systems","volume-title":"Proc. IEEE\/ACM 13th Int. Symp. Softw. Eng. Adaptive Self-Manag. Syst.","author":"Borda"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3019598"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1993.203924"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2015.32"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.04.040"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.100483"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08918-8_5"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.07.007"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10070338\/09773014.pdf?arnumber=9773014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T23:14:53Z","timestamp":1705965293000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9773014\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,1]]},"references-count":42,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2022.3174408","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2023,3,1]]}}}