{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T03:02:36Z","timestamp":1768273356742,"version":"3.49.0"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s10009-024-00770-1","type":"journal-article","created":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T02:13:06Z","timestamp":1736820786000},"page":"673-686","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Easing maintenance of academic static analyzers"],"prefix":"10.1007","volume":"26","author":[{"given":"Rapha\u00ebl","family":"Monat","sequence":"first","affiliation":[]},{"given":"Abdelraouf","family":"Ouadjaout","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Min\u00e9","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,14]]},"reference":[{"key":"770_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/3088515.3088521","volume-title":"Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP@PLDI 2017","author":"E.S. Andreasen","year":"2017","unstructured":"Andreasen, E.S., M\u00f8ller, A., Nielsen, B.B.: Systematic approaches for increasing soundness and precision of static analyzers. In: Ali, K., Cifuentes, C. (eds.) Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp.\u00a031\u201336. ACM, New York (2017). https:\/\/doi.org\/10.1145\/3088515.3088521"},{"key":"770_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/3589250.3596141","volume-title":"Proceedings of the 12th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis, SOAP 2023","author":"V. Arceri","year":"2023","unstructured":"Arceri, V., Dolcetti, G., Zaffanella, E.: Speeding up static analysis with the split operator. In: Ferrara, P., Hadarean, L. (eds.) Proceedings of the 12th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023, pp.\u00a014\u201319. ACM, New York (2023). https:\/\/doi.org\/10.1145\/3589250.3596141"},{"key":"770_CR3","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/3520313.3534660","volume-title":"Proc. of the 11th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (SOAP\u201922)","author":"G. Bau","year":"2022","unstructured":"Bau, G., Min\u00e9, A., Botbol, V., Bouaziz, M.: Abstract interpretation of Michelson smart-contracts. In: Proc. of the 11th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (SOAP\u201922), pp.\u00a036\u201343. ACM, New York (2022). https:\/\/doi.org\/10.1145\/3520313.3534660"},{"key":"770_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/J.IC.2020.104620","volume":"275","author":"A. Becchi","year":"2020","unstructured":"Becchi, A., Zaffanella, E.: Pplite: zero-overhead encoding of NNC polyhedra. Inf. Comput. 275, 104620 (2020). https:\/\/doi.org\/10.1016\/J.IC.2020.104620","journal-title":"Inf. Comput."},{"issue":"2\u20133","key":"770_CR5","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1561\/2500000002","volume":"2","author":"J. Bertrane","year":"2015","unstructured":"Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Rival, X.: Static analysis and verification of aerospace software by abstract interpretation. Found Trends Program Lang. 2(2\u20133), 71\u2013190 (2015). https:\/\/doi.org\/10.1561\/2500000002","journal-title":"Found Trends Program Lang."},{"key":"770_CR6","doi-asserted-by":"crossref","unstructured":"Black, P.E.: Juliet 1.3 test suite: Changes from 1.2. US Department of Commerce, National Institute of Standards and Technology (2018)","DOI":"10.6028\/NIST.TN.1995"},{"key":"770_CR7","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1145\/3238147.3240464","volume-title":"Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018","author":"A. Bugariu","year":"2018","unstructured":"Bugariu, A., W\u00fcstholz, V., Christakis, M., M\u00fcller, P.: Automatically testing implementations of numerical abstract domains. In: Huchard, M., K\u00e4stner, C., Fraser, G. (eds.) Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pp.\u00a0768\u2013778. ACM, New York. (2018). https:\/\/doi.org\/10.1145\/3238147.3240464"},{"key":"770_CR8","doi-asserted-by":"publisher","unstructured":"B\u00fchler, D., Maroneze, A., Perrelle, V.: Abstract Interpretation with the EvaEva (Frama-C plug-in) Plug-in, pp.\u00a0131\u2013186. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-55608-1_3","DOI":"10.1007\/978-3-031-55608-1_3"},{"key":"770_CR9","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"POPL","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: POPL, pp.\u00a0238\u2013252. ACM, New York (1977). https:\/\/doi.org\/10.1145\/512950.512973"},{"key":"770_CR10","doi-asserted-by":"publisher","unstructured":"Danial, A.: cloc, v1.92 (2021). https:\/\/doi.org\/10.5281\/zenodo.5760077","DOI":"10.5281\/zenodo.5760077"},{"key":"770_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-030-88806-0_5","volume-title":"SAS","author":"D. Delmas","year":"2021","unstructured":"Delmas, D., Ouadjaout, A., Min\u00e9, A.: Static analysis of endian portability by abstract interpretation. In: SAS, Lecture Notes in Computer Science, vol.\u00a012913, pp.\u00a0102\u2013123. Springer, Berlin (2021). https:\/\/doi.org\/10.1007\/978-3-030-88806-0_5"},{"key":"770_CR12","unstructured":"GCC Wiki Contributors: Gcc wiki \u2013 a guide to testcase reduction (2011). https:\/\/gcc.gnu.org\/wiki\/A_guide_to_testcase_reduction"},{"issue":"6","key":"770_CR13","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/2909476","volume":"59","author":"B. Gregg","year":"2016","unstructured":"Gregg, B.: The flame graph. Commun. ACM 59(6), 48\u201357 (2016). https:\/\/doi.org\/10.1145\/2909476","journal-title":"Commun. ACM"},{"key":"770_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-030-95561-8_8","volume-title":"VSTTE","author":"A. Gurfinkel","year":"2021","unstructured":"Gurfinkel, A., Navas, J.A.: Abstract interpretation of LLVM with a region-based memory model. In: VSTTE. Lecture Notes in Computer Science, vol.\u00a013124, pp.\u00a0122\u2013144. Springer, Berlin (2021). https:\/\/doi.org\/10.1007\/978-3-030-95561-8_8"},{"key":"770_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-319-21690-4_20","volume-title":"CAV (1)","author":"A. Gurfinkel","year":"2015","unstructured":"Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A.: The seahorn verification framework. In: CAV (1). Lecture Notes in Computer Science, vol.\u00a09206, pp.\u00a0343\u2013361. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_20"},{"key":"770_CR16","volume-title":"ISSTA 2024","author":"D. Helm","year":"2024","unstructured":"Helm, D., Keidel, S., Kampk\u00f6tter, A., D\u00fcsing, J., Roth, T., Hermann, B., Mezini, M.: Total recall? How good are static call graphs really? In: ISSTA 2024 (2024)"},{"key":"770_CR17","volume-title":"Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","author":"K. Holter","year":"2024","unstructured":"Holter, K., Hennoste, J.O., Lam, P., Saan, S., Vojdani, V.: Abstract debuggers: exploring program behaviors using static analysis results. In: Edwards, J. (ed.) Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Association for Computing Machinery, Onward! 2024 (2024). To appear"},{"key":"770_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/978-3-642-02658-4_52","volume-title":"CAV","author":"B. Jeannet","year":"2009","unstructured":"Jeannet, B., Min\u00e9, A.: Apron: a library of numerical abstract domains for static analysis. In: CAV. Lecture Notes in Computer Science, vol.\u00a05643, pp.\u00a0661\u2013667. Springer, Berlin (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_52"},{"key":"770_CR19","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/2676726.2676966","volume-title":"POPL","author":"J. Jourdan","year":"2015","unstructured":"Jourdan, J., Laporte, V., Blazy, S., Leroy, X., Pichardie, D.: A formally-verified C static analyzer. In: POPL, pp.\u00a0247\u2013259. ACM, New York (2015). https:\/\/doi.org\/10.1145\/2676726.2676966"},{"key":"770_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-99725-4_16","volume-title":"Static Analysis - 25th International Symposium, SAS 2018","author":"M. Journault","year":"2018","unstructured":"Journault, M., Min\u00e9, A., Ouadjaout, A.: Modular static analysis of string manipulations in C programs. In: Podelski, A. (ed.) Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018. Lecture Notes in Computer Science, vol.\u00a011002, pp.\u00a0243\u2013262. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-99725-4_16"},{"key":"770_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-41600-3_1","volume-title":"VSTTE","author":"M. Journault","year":"2019","unstructured":"Journault, M., Min\u00e9, A., Monat, R., Ouadjaout, A.: Combinations of reusable abstract domains for a multilingual static analyzer. In: VSTTE. Lecture Notes in Computer Science, vol.\u00a012031, pp.\u00a01\u201318. Springer, Berlin (2019). https:\/\/doi.org\/10.1007\/978-3-030-41600-3_1"},{"key":"770_CR22","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1145\/2644805","volume-title":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019","author":"C. Klinger","year":"2019","unstructured":"Klinger, C., Christakis, M., W\u00fcstholz, V.: Differentially testing soundness and precision of program analyzers. In: Zhang, D., M\u00f8ller, A. (eds.) Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019, pp.\u00a0239\u2013250. ACM, New York (2019). https:\/\/doi.org\/10.1145\/2644805."},{"issue":"2","key":"770_CR23","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/2644805","volume":"58","author":"B. Livshits","year":"2015","unstructured":"Livshits, B., Sridharan, M., Smaragdakis, Y., Lhot\u00e1k, O., Amaral, J.N., Chang, B.E., Guyer, S.Z., Khedker, U.P., M\u00f8ller, A., Vardoulakis, D.: In defense of soundiness: a manifesto. Commun. ACM 58(2), 44\u201346 (2015). https:\/\/doi.org\/10.1145\/2644805","journal-title":"Commun. ACM"},{"key":"770_CR24","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"21:1","DOI":"10.4230\/LIPICS.ECOOP.2019.21","volume-title":"33rd European Conference on Object-Oriented Programming, ECOOP 2019","author":"L. Luo","year":"2019","unstructured":"Luo, L., Dolby, J., Bodden, E.: Magpiebridge: a general approach to integrating static analyses into ides and editors (tool insights paper). In: Donaldson, A.F. (ed.) 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom, Schloss Dagstuhl, Leibniz-Zentrum f\u00fcr Informatik, LIPIcs, vol.\u00a0134, pp.\u00a021:1\u201321:25 (2019). https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2019.21"},{"key":"770_CR25","unstructured":"Maroneze, A.: Debugging Frama-C analyses: Better privacy with C-reduce (2020). https:\/\/frama-c.com\/2020\/04\/02\/creduce.html"},{"issue":"ICFP","key":"770_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3473582","volume":"5","author":"D. Merigoux","year":"2021","unstructured":"Merigoux, D., Chataing, N., Protzenko, J.: Catala: a programming language for the law. Proc. ACM Program. Lang. 5(ICFP), 1\u201329 (2021). https:\/\/doi.org\/10.1145\/3473582","journal-title":"Proc. ACM Program. Lang."},{"key":"770_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-031-50524-9_3","volume-title":"VMCAI (1)","author":"M. Milanese","year":"2024","unstructured":"Milanese, M., Min\u00e9, A.: Generation of violation witnesses by under-approximating abstract interpretation. In: VMCAI (1). Lecture Notes in Computer Science, vol.\u00a014499, pp.\u00a050\u201373. Springer, Berlin (2024). https:\/\/doi.org\/10.1007\/978-3-031-50524-9_3"},{"key":"770_CR28","unstructured":"Min\u00e9, A., Ouadjaout, A., Journault, M., Fromherz, A., Monat, R., Parolini, F., Milanese, M., Boillot, J.: Mopsa: Modular open static analysis platform (2024). https:\/\/gitlab.com\/mopsa\/mopsa-analyzer\/"},{"key":"770_CR29","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1145\/3623476.3623512","volume-title":"Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2023","author":"M.V. Molle","year":"2023","unstructured":"Molle, M.V., Vandenbogaerde, B., Roover, C.D.: Cross-level debugging for static analysers. In: Saraiva, J., Degueule, T., Scott, E. (eds.) Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2023, Cascais, Portugal, October 23-24, 2023, pp.\u00a0138\u2013148. ACM, New York (2023). https:\/\/doi.org\/10.1145\/3623476.3623512"},{"key":"770_CR30","unstructured":"Monat, R.: Static type and value analysis by abstract interpretation of python programs with native C libraries. (Analyse statique, de type et de valeur, par interpr\u00e9tation abstraite, de programmes python utilisant des librairies C). PhD thesis, Sorbonne University, Paris, France (2021) https:\/\/tel.archives-ouvertes.fr\/tel-03533030"},{"key":"770_CR31","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"17:1","DOI":"10.4230\/LIPICS.ECOOP.2020.17","volume-title":"ECOOP","author":"R. Monat","year":"2020","unstructured":"Monat, R., Ouadjaout, A., Min\u00e9, A.: Static type analysis by abstract interpretation of python programs. In: ECOOP, Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, LIPIcs, vol.\u00a0166, pp.\u00a017:1\u201317:29 (2020). https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2020.17"},{"key":"770_CR32","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/3394451.3397205","volume-title":"SOAP@PLDI","author":"R. Monat","year":"2020","unstructured":"Monat, R., Ouadjaout, A., Min\u00e9, A.: Value and allocation sensitivity in static python analyses. In: SOAP@PLDI, pp.\u00a08\u201313. ACM, New York (2020). https:\/\/doi.org\/10.1145\/3394451.3397205"},{"key":"770_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-030-88806-0_16","volume-title":"SAS","author":"R. Monat","year":"2021","unstructured":"Monat, R., Ouadjaout, A., Min\u00e9, A.: A multilanguage static analysis of python programs with native C extensions. In: SAS, Lecture Notes in Computer Science, vol.\u00a012913, pp.\u00a0323\u2013345. Springer, Berlin (2021). https:\/\/doi.org\/10.1007\/978-3-030-88806-0_16"},{"key":"770_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/978-3-031-30820-8_37","volume-title":"TACAS Part II","author":"R. Monat","year":"2023","unstructured":"Monat, R., Ouadjaout, A., Min\u00e9, A.: Mopsa-c: modular domains and relational abstract interpretation for C programs (competition contribution). In: TACAS Part II. Lecture Notes in Computer Science, vol.\u00a013994, pp.\u00a0565\u2013570. Springer, Berlin (2023). https:\/\/doi.org\/10.1007\/978-3-031-30820-8_37"},{"key":"770_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-3-031-57267-8_16","volume-title":"ESOP (2)","author":"R. Monat","year":"2024","unstructured":"Monat, R., Fromherz, A., Merigoux, D.: Formalizing date arithmetic and statically detecting ambiguities for the law. In: ESOP (2). Lecture Notes in Computer Science, vol.\u00a014577, pp.\u00a0421\u2013450. Springer, Berlin (2024). https:\/\/doi.org\/10.1007\/978-3-031-57267-8_16"},{"key":"770_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-031-57256-2_26","volume-title":"TACAS Part III","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: TACAS Part III. Lecture Notes in Computer Science, vol.\u00a014572, pp.\u00a0387\u2013392. Springer, Berlin (2024). https:\/\/doi.org\/10.1007\/978-3-031-57256-2_26"},{"key":"770_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-319-99725-4_19","volume-title":"SAS","author":"K.S. Namjoshi","year":"2018","unstructured":"Namjoshi, K.S., Pavlinovic, Z.: The impact of program transformations on static program analysis. In: SAS. Lecture Notes in Computer Science, vol.\u00a011002, pp.\u00a0306\u2013325. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-99725-4_19"},{"key":"770_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-030-65474-0_11","volume-title":"SAS","author":"A. Ouadjaout","year":"2020","unstructured":"Ouadjaout, A., Min\u00e9, A.: A library modeling language for the static analysis of C programs. In: Pichardie, D., Sighireanu, M. (eds.) SAS. Lecture Notes in Computer Science, vol.\u00a012389, pp.\u00a0223\u2013247. Springer, Berlin (2020). https:\/\/doi.org\/10.1007\/978-3-030-65474-0_11"},{"key":"770_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-031-50521-8_15","volume-title":"VMCAI (2)","author":"F. Parolini","year":"2024","unstructured":"Parolini, F., Min\u00e9, A.: Sound abstract nonexploitability analysis. In: VMCAI (2). Lecture Notes in Computer Science, vol.\u00a014500, pp.\u00a0314\u2013337. Springer, Berlin (2024). https:\/\/doi.org\/10.1007\/978-3-031-50521-8_15"},{"key":"770_CR40","unstructured":"Pflanzer, M., Li\u0161ka, M.: CVise: Super-parallel Python port of the C-Reduce (2024). https:\/\/github.com\/marxin\/cvise\/"},{"key":"770_CR41","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/2254064.2254104","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI\u201912","author":"J. Regehr","year":"2012","unstructured":"Regehr, J., Chen, Y., Cuoq, P., Eide, E., Ellison, C., Yang, X.: Test-case reduction for C compiler bugs. In: Vitek, J., Lin, H., Tip, F. (eds.) ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI\u201912, Beijing, China, June 11 - 16, 2012, pp.\u00a0335\u2013346. ACM, New York (2012). https:\/\/doi.org\/10.1145\/2254064.2254104."},{"key":"770_CR42","unstructured":"Saan, S. and Schwarz, M.: (2022). https:\/\/github.com\/goblint\/analyzer\/issues\/826"},{"key":"770_CR43","doi-asserted-by":"publisher","unstructured":"Saan, S., Schwarz, M., Erhard, J., Tilscher, S., Holter, K., Vogler, R., Apinis, K., Vojdani, V.: Goblint (2024). https:\/\/github.com\/goblint\/analyzer. https:\/\/doi.org\/10.5281\/zenodo.5735006","DOI":"10.5281\/zenodo.5735006"},{"key":"770_CR44","unstructured":"Saan, S., Schwarz, M., Erhard, J., Tilscher, S., Holter, K., Vogler, R., Apinis, K., Vojdani, V.: Goblint analyzer documentation on testcase reduction (2024). https:\/\/goblint.readthedocs.io\/en\/stable\/developer-guide\/debugging\/#debugging-issues-with-larger-programs"},{"key":"770_CR45","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1926385.1926390","volume-title":"POPL","author":"Y. Smaragdakis","year":"2011","unstructured":"Smaragdakis, Y., Bravenboer, M., Lhot\u00e1k, O.: Pick your contexts well: understanding object-sensitivity. In: POPL, pp.\u00a017\u201330. ACM, New York (2011). https:\/\/doi.org\/10.1145\/1926385.1926390"},{"key":"770_CR46","unstructured":"Sotin, P.: Quantifying the Precision of Numerical Abstract Domains. Research report (2010) https:\/\/inria.hal.science\/inria-00457324"},{"key":"770_CR47","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/3368826.3377927","volume-title":"CGO\u201920: 18th ACM\/IEEE International Symposium on Code Generation and Optimization","author":"J. Taneja","year":"2020","unstructured":"Taneja, J., Liu, Z., Regehr, J.: Testing static analyses for precision and soundness. In: CGO\u201920: 18th ACM\/IEEE International Symposium on Code Generation and Optimization, San Diego, CA, USA, February, 2020, pp.\u00a081\u201393. ACM, New York (2020). https:\/\/doi.org\/10.1145\/3368826.3377927"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00770-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-024-00770-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00770-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T11:43:13Z","timestamp":1738842193000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-024-00770-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12]]},"references-count":47,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["770"],"URL":"https:\/\/doi.org\/10.1007\/s10009-024-00770-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12]]},"assertion":[{"value":"12 December 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 January 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}