{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T03:58:11Z","timestamp":1762833491145,"version":"build-2065373602"},"reference-count":26,"publisher":"World Scientific Pub Co Pte Ltd","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2025,11]]},"abstract":"<jats:p>In software development, the rapid expansion of code often leads to increased complexity and higher maintenance costs, particularly when unused or redundant code accumulates over time. This study introduces a novel approach to analyzing and visualizing code reachability using probabilistic model checking, enabling efficient identification of components that may no longer be necessary. By leveraging probabilistic reachability analysis, our method evaluates the usage trends of packages, classes and methods throughout the system\u2019s lifecycle. We implemented a prototype tool and conducted case studies on real-world projects to validate its effectiveness. The results demonstrate the tool\u2019s potential to support strategic code management by identifying and visualizing frequently used, rarely used and unused code components, thereby facilitating system optimization and reducing maintenance overhead.<\/jats:p>","DOI":"10.1142\/s0218194025410062","type":"journal-article","created":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T00:10:13Z","timestamp":1748823013000},"page":"1651-1668","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Code Reachability Analysis and Visualization Using Probabilistic Model Checking"],"prefix":"10.1142","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5280-4113","authenticated-orcid":false,"given":"Hiroyuki","family":"Nakagawa","sequence":"first","affiliation":[{"name":"Okayama University, 3-1-1 Tsushima-naka, Kita-ku, Okayama 700-8530, Japan"},{"name":"Osaka University, 1-5 Yamadaoka, Suita, Osaka 565-0871, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shimon","family":"Sumita","sequence":"additional","affiliation":[{"name":"NTT Computer and Data Science Laboratories, 9-11, Midori-Cho 3-Chome Musashino-Shi, Tokyo 180-8585, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6259-3521","authenticated-orcid":false,"given":"Shinobu","family":"Saito","sequence":"additional","affiliation":[{"name":"NTT Computer and Data Science Laboratories, 9-11, Midori-Cho 3-Chome Musashino-Shi, Tokyo 180-8585, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2025,7,8]]},"reference":[{"volume-title":"Software Engineering at Google: Lessons Learned from Programming over Time","year":"2020","author":"Winters T.","key":"S0218194025410062BIB001"},{"key":"S0218194025410062BIB002","first-page":"586","volume-title":"Proc. 29th Asia-Pacific Software Engineering Conf.","author":"Saito S.","year":"2022"},{"key":"S0218194025410062BIB003","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2024-083"},{"key":"S0218194025410062BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"S0218194025410062BIB005","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2421318"},{"key":"S0218194025410062BIB009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"S0218194025410062BIB013","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510227"},{"key":"S0218194025410062BIB014","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610419"},{"key":"S0218194025410062BIB015","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"S0218194025410062BIB016","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806806"},{"key":"S0218194025410062BIB017","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.96"},{"key":"S0218194025410062BIB018","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.06.005"},{"key":"S0218194025410062BIB019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"S0218194025410062BIB020","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"S0218194025410062BIB022","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79382-1_4"},{"key":"S0218194025410062BIB023","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79382-1_9"},{"key":"S0218194025410062BIB024","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49451-7"},{"key":"S0218194025410062BIB025","doi-asserted-by":"publisher","DOI":"10.1145\/3550356.3559086"},{"key":"S0218194025410062BIB026","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985868"},{"key":"S0218194025410062BIB027","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-018-0235-8"},{"key":"S0218194025410062BIB028","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.07.007"},{"key":"S0218194025410062BIB029","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2023-223"},{"key":"S0218194025410062BIB030","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416565"},{"key":"S0218194025410062BIB031","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00081"},{"key":"S0218194025410062BIB032","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2008.2005605"},{"key":"S0218194025410062BIB033","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC65559.2024.00066"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194025410062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T03:22:36Z","timestamp":1762831356000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218194025410062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":26,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2025,11]]}},"alternative-id":["10.1142\/S0218194025410062"],"URL":"https:\/\/doi.org\/10.1142\/s0218194025410062","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"type":"print","value":"0218-1940"},{"type":"electronic","value":"1793-6403"}],"subject":[],"published":{"date-parts":[[2025,7,8]]}}}