{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:15:34Z","timestamp":1775873734992,"version":"3.50.1"},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2022YFB3103900"],"award-info":[{"award-number":["2022YFB3103900"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62132020"],"award-info":[{"award-number":["62132020"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202452"],"award-info":[{"award-number":["62202452"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2024M753295"],"award-info":[{"award-number":["2024M753295"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1109\/tse.2024.3437684","type":"journal-article","created":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T17:41:27Z","timestamp":1722879687000},"page":"2379-2397","source":"Crossref","is-referenced-by-count":4,"title":["Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-3055-8929","authenticated-orcid":false,"given":"Chenghang","family":"Shi","sequence":"first","affiliation":[{"name":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-0931-8767","authenticated-orcid":false,"given":"Haofeng","family":"Li","sequence":"additional","affiliation":[{"name":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9510-6574","authenticated-orcid":false,"given":"Yulei","family":"Sui","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, NSW, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4162-0404","authenticated-orcid":false,"given":"Jie","family":"Lu","sequence":"additional","affiliation":[{"name":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4476-0541","authenticated-orcid":false,"given":"Lian","family":"Li","sequence":"additional","affiliation":[{"name":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4206-6617","authenticated-orcid":false,"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, NSW, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/195274.195287"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250748"},{"key":"ref5","first-page":"1","article-title":"Program tailoring: Slicing by sequential criteria","volume-title":"Proc. 30th Eur. Conf. Object-Oriented Program. (ECOOP)","author":"Li","year":"2016"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00093-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1103845.1094817"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1134027"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328464"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462159"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001440"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259050"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2014.54"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/298514.298576"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328460"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386021"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3492428"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3591233"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/996893.996867"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3093337.3037744"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3563343"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2302311"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00118"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00049-9"},{"key":"ref28","volume-title":"Introduction to Algorithms","author":"Cormen","year":"2022"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0053565"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2003.1238026"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_15"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3158118"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3563339"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/321526.321534"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(89)90039-7"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1137\/0201008"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349310"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90098-8"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1075382.1075387"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.21236\/ADA449102"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3290361"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1007352.1007390"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3498724"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11970-5_8"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568243"},{"key":"ref49","first-page":"1","article-title":"Boomerang: Demand-driven flow-and context-sensitive pointer analysis for Java","volume-title":"Proc. 30th Eur. Conf. Object-Oriented Program. (ECOOP)","author":"Sp\u00e4th","year":"2016"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00034"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00102"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370311"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444884"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660213"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2555670.2466483"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025160"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950296"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2869336"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/3003665.3003667"},{"key":"ref61","first-page":"82","article-title":"Algorithms for acyclic database schemes","volume-title":"Proc. Very Large Data Bases","volume":"81","author":"Yannakakis","year":"1981"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10683742\/10623254.pdf?arnumber=10623254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T06:26:37Z","timestamp":1726813597000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10623254\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9]]},"references-count":62,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3437684","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9]]}}}