{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T11:14:47Z","timestamp":1758107687972,"version":"3.44.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1007\/s11390-025-5140-6","type":"journal-article","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T05:34:59Z","timestamp":1754890499000},"page":"993-1005","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis"],"prefix":"10.1007","volume":"40","author":[{"given":"Zhong-Yi","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Shuai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teng-Jie","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin-Yu","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun-Hao","family":"Zhuo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiu-Ye","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheng-Chao","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian-Wei","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,11]]},"reference":[{"key":"5140_CR1","volume-title":"The Eva plug-in for Frama-C 27.1 (Cobalt)","author":"D B\u00fchler","year":"2023","unstructured":"B\u00fchler D, Cuoq P, Yakobowski B. The Eva plug-in for Frama-C 27.1 (Cobalt). 2023. https:\/\/www.frama-c.com\/download\/frama-c-eva-manual.pdf, Jul. 2025."},{"key":"5140_CR2","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-031-44245-22","volume-title":"Lecture Notes in Computer Science 14284","author":"D K\u00e4stner","year":"2023","unstructured":"K\u00e4stner D, Wilhelm R, Ferdinand C. Abstract interpretation in industry-experience and lessons learned. In Lecture Notes in Computer Science 14284, Hermenegildo M V, Morales J F (eds.), Springer, 2023, pp.10\u201327. DOI: https:\/\/doi.org\/10.1007\/978-3-031-44245-22."},{"key":"5140_CR3","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/978-3-031-30820-8_34","volume-title":"Lecture Notes in Computer Science 13994","author":"S Saan","year":"2023","unstructured":"Saan S, Schwarz M, Erhard J, Pietsch M, Seidl H, Tilscher S, Vojdani V. GOBLINT: Autotuning thread-modular abstract interpretation. In Lecture Notes in Computer Science 13994, Sankaranarayanan S, Sharygina N (eds.), Springer, 2023, pp.547\u2013552. DOI: https:\/\/doi.org\/10.1007\/978-3-031-30820-8_34."},{"key":"5140_CR4","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-031-57256-2_26","volume-title":"Lecture Notes in Computer Science 14572","author":"R Monat","year":"2024","unstructured":"Monat R, Milanese M, Parolini F, Boillot J, Ouadjaout A, Min\u00e9 A. Mopsa-C: Improved verification for C programs, simple validation of correctness witnesses (competition contribution). In Lecture Notes in Computer Science 14572, Finkbeiner B, Kov\u00e1cs L (eds.), Springer, 2024, pp.387\u2013392. DOI: https:\/\/doi.org\/10.1007\/978-3-031-57256-2_26."},{"key":"5140_CR5","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Proc. the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P Cousot","year":"1977","unstructured":"Cousot P, Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Jan. 1977, pp.238\u2013252. DOI: https:\/\/doi.org\/10.1145\/512950.512973."},{"key":"5140_CR6","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-31424-7_15","volume-title":"Proc. the 24th International Conference on Computer Aided Verification","author":"A J Venet","year":"2012","unstructured":"Venet A J. The gauge domain: Scalable analysis of linear inequality invariants. In Proc. the 24th International Conference on Computer Aided Verification, Jul. 2012, pp.139\u2013154. DOI: https:\/\/doi.org\/10.1007\/978-3-642-31424-7_15."},{"key":"5140_CR7","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/781131.781153","volume-title":"Proc. the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"B Blanchet","year":"2003","unstructured":"Blanchet B, Cousot P, Cousot R, Feret J, Mauborgne L, Min\u00e9 A, Monniaux D, Rival X. A static analyzer for large safety-critical software. In Proc. the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun. 2003, pp.196\u2013207."},{"key":"5140_CR8","series-title":"SAE Technical Paper 2023-01-0591","first-page":"65","volume-title":"Automatic sound static analysis for integration verification of AUTOSAR software","author":"D Kaestner","year":"2023","unstructured":"Kaestner D, Wilhelm S, Mallon C, Schank S, Ferdinand C, Mauborgne L. Automatic sound static analysis for integration verification of AUTOSAR software. SAE Technical Paper 2023-01-0591. SAE, 2023, pp.65\u201368. https:\/\/saemobilus.sae.org\/papers\/automatic-sound-static-analysis-integration-verification-autosar-software-2023-01-0591, Jun. 2025."},{"key":"5140_CR9","first-page":"1082","volume-title":"Proc. the 39th IEEE\/ACM International Conference on Automated Software Engineering","author":"Z Wang","year":"2024","unstructured":"Wang Z, Yang L, Chen M, Bu Y, Li Z, Wang Q, Qin S, Yi X, Yin J. Parf: Adaptive parameter refining for abstract interpretation. In Proc. the 39th IEEE\/ACM International Conference on Automated Software Engineering, Nov. 2024, pp.1082\u20131093."},{"issue":"OOPSLA1","key":"5140_CR10","doi-asserted-by":"publisher","first-page":"954","DOI":"10.1145\/3649845","volume":"8","author":"Y Zhang","year":"2024","unstructured":"Zhang Y, Shi Y, Zhang X. Learning abstraction selection for Bayesian program analysis. Proceedings of the ACM on Programming Languages, 2024, 8(OOPSLA1): 954\u2013982. DOI: https:\/\/doi.org\/10.1145\/3649845.","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"5140_CR11","volume-title":"SSTIC","author":"A Ebalard","year":"2019","unstructured":"Ebalard A, Mouy P, Benadjila R. Journey to a RTE-free X. 509 parser. SSTIC 2019. https:\/\/www.sstic.org\/media\/SSTIC2019\/SSTIC-actes\/journey-to-a-rte-free-x509-parser\/SSTIC2019-Article-journey-to-a-rte-free-x509-parser-ebalard_mouy_benadjila_3cUxSCv.pdf, Jul. 2025."},{"key":"5140_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-031-57256-2_15","volume-title":"Proc. the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"D Beyer","year":"2024","unstructured":"Beyer D. State of the art in software verification and witness validation: SV-COMP 2024. In Proc. the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr. 2024, pp.299\u2013329. DOI: https:\/\/doi.org\/10.1007\/978-3-031-57256-2_15."},{"key":"5140_CR13","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-030-99527-0_26","volume-title":"Proc. the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"D Beyer","year":"2022","unstructured":"Beyer D, Spiessl M. The static analyzer Frama-C in SV-COMP (competition contribution). In Proc. the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr. 2022, pp.429\u2013434. DOI: https:\/\/doi.org\/10.1007\/978-3-030-99527-0_26."},{"key":"5140_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/ASE.2008.13","volume-title":"Proc. the 23rd IEEE\/ACM International Conference on Automated Software Engineering","author":"D Beyer","year":"2008","unstructured":"Beyer D, Henzinger T A, Th\u00e9oduloz G. Program analysis with dynamic precision adjustment. In Proc. the 23rd IEEE\/ACM International Conference on Automated Software Engineering, Sept. 2008, pp.29\u201338. DOI: https:\/\/doi.org\/10.1109\/ASE.2008.13."},{"key":"5140_CR15","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-540-73368-3_51","volume-title":"Proc. the 19th International Conference on Computer Aided Verification","author":"D Beyer","year":"2007","unstructured":"Beyer D, Henzinger T A, Th\u00e9oduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In Proc. the 19th International Conference on Computer Aided Verification, Jul. 2007, pp.504\u2013518. DOI: https:\/\/doi.org\/10.1007\/978-3-540-73368-3_51."},{"issue":"OOPSLA2","key":"5140_CR16","doi-asserted-by":"publisher","first-page":"1532","DOI":"10.1145\/3689765","volume":"8","author":"Z Yan","year":"2024","unstructured":"Yan Z, Zhang X, Di P. Scaling abstraction refinement for program analyses in datalog using graph neural networks. Proceedings of the ACM on Programming Languages, 2024, 8(OOPSLA2): 1532\u20131560. DOI: https:\/\/doi.org\/10.1145\/3689765.","journal-title":"Proceedings of the ACM on Programming Languages"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-025-5140-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11390-025-5140-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-025-5140-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T06:37:17Z","timestamp":1758091037000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11390-025-5140-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,7]]}},"alternative-id":["5140"],"URL":"https:\/\/doi.org\/10.1007\/s11390-025-5140-6","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2025,7]]},"assertion":[{"value":"31 December 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Conflict of Interest The authors declare that they have no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics"}}]}}