{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:16:11Z","timestamp":1770272171796,"version":"3.49.0"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030684457","type":"print"},{"value":"9783030684464","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-68446-4_14","type":"book-chapter","created":{"date-parts":[[2021,2,12]],"date-time":"2021-02-12T19:06:39Z","timestamp":1613156799000},"page":"271-292","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Testing Your (Static Analysis) Truths"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9196-7951","authenticated-orcid":false,"given":"Ignacio","family":"Casso","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6098-3895","authenticated-orcid":false,"given":"Jos\u00e9 F.","family":"Morales","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1092-2071","authenticated-orcid":false,"given":"P.","family":"L\u00f3pez-Garc\u00eda","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7583-323X","authenticated-orcid":false,"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,13]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Andreasen, E.S., M\u00f8ller, A., Nielsen, B.B.: Systematic approaches for increasing soundness and precision of static analyzers. In: Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP 2017, pp. 31\u201336. Association for Computing Machinery, New York (2017). https:\/\/doi.org\/10.1145\/3088515.3088521","DOI":"10.1145\/3088515.3088521"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-642-38856-9_18","volume-title":"Static Analysis","author":"S Blazy","year":"2013","unstructured":"Blazy, S., Laporte, V., Maroneze, A., Pichardie, D.: Formal verification of a C value analysis based on abstract interpretation. In: Logozzo, F., F\u00e4hndrich, M. (eds.) SAS 2013. LNCS, vol. 7935, pp. 324\u2013344. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38856-9_18"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Brummayer, R., Biere, A.: Fuzzing and delta-debugging SMT solvers. In: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, SMT 2009, pp. 1\u20135. Association for Computing Machinery, New York (2009). https:\/\/doi.org\/10.1145\/1670412.1670413","DOI":"10.1145\/1670412.1670413"},{"key":"14_CR4","unstructured":"Bueno, F., et al.: On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In: Proceedings of the 3rd International Workshop on Automated Debugging-AADEBUG 1997, pp. 155\u2013170. University of Link\u00f6ping Press, Link\u00f6ping, Sweden, May 1997. ftp:\/\/cliplab.org\/pub\/papers\/aadebug_discipldeliv.ps.gz"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-24754-8_9","volume-title":"Functional and Logic Programming","author":"F Bueno","year":"2004","unstructured":"Bueno, F., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: Multivariant non-failure analysis via standard abstract interpretation. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 100\u2013116. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24754-8_9"},{"key":"14_CR6","unstructured":"Bueno, F., Lopez-Garcia, P., Puebla, G., Hermenegildo, M.V.: A Tutorial on Program Development and Optimization using the Ciao Preprocessor. Technical report. CLIP2\/06, Technical University of Madrid (UPM), Facultad de Inform\u00e1tica, 28660 Boadilla del Monte, Madrid, Spain, January 2006"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Bugariu, A., W\u00fcstholz, V., Christakis, M., M\u00fcller, P.: Automatically testing implementations of numerical abstract domains. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, pp. 768\u2013778. Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3238147.3240464","DOI":"10.1145\/3238147.3240464"},{"key":"14_CR8","unstructured":"Cadar, C., Donaldson, A.: Analysing the program analyser. In: International Conference on Software Engineering, Visions of 2025 and Beyond Track (ICSE V2025), pp. 765\u2013768 (5 2016)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-030-45260-5_4","volume-title":"Logic-Based Program Synthesis and Transformation","author":"I Casso","year":"2020","unstructured":"Casso, I., Morales, J.F., L\u00f3pez-Garc\u00eda, P., Giacobazzi, R., Hermenegildo, M.V.: Computing abstract distances in logic programs. In: Gabbrielli, M. (ed.) LOPSTR 2019. LNCS, vol. 12042, pp. 57\u201372. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45260-5_4"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-030-45260-5_10","volume-title":"Logic-Based Program Synthesis and Transformation","author":"I Casso","year":"2020","unstructured":"Casso, I., Morales, J.F., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.V.: An integrated approach to assertion-based random testing in prolog. In: Gabbrielli, M. (ed.) LOPSTR 2019. LNCS, vol. 12042, pp. 159\u2013176. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45260-5_10"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000, pp. 268\u2013279. ACM (2000)","DOI":"10.1145\/357766.351266"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_3","volume-title":"Programming Languages and Systems","author":"P Cousot","year":"2005","unstructured":"Cousot, P., et al.: The ASTRE\u00c9 analyzer. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 21\u201330. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31987-0_3"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-28891-3_12","volume-title":"NASA Formal Methods","author":"P Cuoq","year":"2012","unstructured":"Cuoq, P., et al.: Testing static analyzers with randomly generated programs. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 120\u2013125. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28891-3_12"},{"key":"14_CR14","doi-asserted-by":"publisher","unstructured":"Daniel, B., Dig, D., Garcia, K., Marinov, D.: Automated testing of refactoring engines. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC-FSE 2007, pp. 185\u2013194. Association for Computing Machinery, New York (2007). https:\/\/doi.org\/10.1145\/1287624.1287651","DOI":"10.1145\/1287624.1287651"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Debray, S., Lopez-Garcia, P., Hermenegildo, M.V.: Non-failure analysis for logic programs. In: 1997 International Conference on Logic Programming, pp. 48\u201362. MIT Press, Cambridge, June 1997","DOI":"10.7551\/mitpress\/4299.003.0010"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-44659-1_9","volume-title":"Theorem Proving in Higher Order Logics","author":"C Dubois","year":"2000","unstructured":"Dubois, C.: Proving ML type soundness within Coq. In: Aagaard, M., Harrison, J. (eds.) TPHOLs 2000. LNCS, vol. 1869, pp. 126\u2013144. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44659-1_9"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-030-59025-3_13","volume-title":"Functional and Logic Programming","author":"S Fortz","year":"2020","unstructured":"Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W., Vidal, G.: An SMT-based concolic testing tool for logic programs. In: Nakano, K., Sagonas, K. (eds.) FLOPS 2020. LNCS, vol. 12073, pp. 215\u2013219. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59025-3_13"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-030-13838-7_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"I Garcia-Contreras","year":"2019","unstructured":"Garcia-Contreras, I., Morales, J.F., Hermenegildo, M.V.: Multivariant assertion-based guidance in abstract interpretation. In: Mesnard, F., Stuckey, P.J. (eds.) LOPSTR 2018. LNCS, vol. 11408, pp. 184\u2013201. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-13838-7_11"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-030-45260-5_3","volume-title":"Logic-Based Program Synthesis and Transformation","author":"I Garcia-Contreras","year":"2020","unstructured":"Garcia-Contreras, I., Morales, J.F., Hermenegildo, M.V.: Incremental analysis of logic programs with assertions and open predicates. In: Gabbrielli, M. (ed.) LOPSTR 2019. LNCS, vol. 12042, pp. 36\u201356. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45260-5_3"},{"issue":"5","key":"14_CR20","first-page":"564615","volume":"18","author":"M Garc\u00eda de la Banda","year":"1996","unstructured":"Garc\u00eda de la Banda, M., Hermenegildo, M.V., Bruynooghe, M., Dumortier, V., Simoens, W.: Global analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 18(5), 564615 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"12","key":"14_CR21","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S1471068411000457","volume":"12","author":"MV Hermenegildo","year":"2012","unstructured":"Hermenegildo, M.V., et al.: An overview of ciao and its design philosophy. Theory Pract. Logic Program. 12(12), 219\u2013252 (2012). https:\/\/doi.org\/10.1017\/S1471068411000457. http:\/\/arxiv.org\/abs\/1102.5497","journal-title":"Theory Pract. Logic Program."},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-60085-2_7","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"MV Hermenegildo","year":"1999","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F.: Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In: Apt, K.R., Marek, V., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm: a 25-Year Perspective, pp. 161\u2013192. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-642-60085-2_7"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44898-5_8","volume-title":"Static Analysis","author":"MV Hermenegildo","year":"2003","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Program development using abstract interpretation (and the ciao system preprocessor). In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 127\u2013152. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44898-5_8"},{"issue":"1\u20132","key":"14_CR24","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"MV Hermenegildo","year":"2005","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F., Lopez-Garcia, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and the ciao system preprocessor). Scie. Comput. Program. 58(1\u20132), 115\u2013140 (2005). https:\/\/doi.org\/10.1016\/j.scico.2005.02.006","journal-title":"Scie. Comput. Program."},{"issue":"2","key":"14_CR25","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"MV Hermenegildo","year":"2000","unstructured":"Hermenegildo, M.V., Puebla, G., Marriott, K., Stuckey, P.: Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2), 187\u2013223 (2000)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"14_CR26","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/2775051.2676966","volume":"50","author":"JH Jourdan","year":"2015","unstructured":"Jourdan, J.H., Laporte, V., Blazy, S., Leroy, X., Pichardie, D.: A formally-verified c static analyzer. SIGPLAN Not. 50(1), 247\u2013259 (2015). https:\/\/doi.org\/10.1145\/2775051.2676966","journal-title":"SIGPLAN Not."},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Kapus, T., Cadar, C.: Automatic testing of symbolic execution engines via program generation and differential testing. In: IEEE\/ACM International Conference on Automated Software Engineering (ASE 2017), pp. 590\u2013600, 11 November 2017","DOI":"10.1109\/ASE.2017.8115669"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Klinger, C., Christakis, M., W\u00fcstholz, V.: Differentially testing soundness and precision of program analyzers. In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 239\u2013250. ISSTA 2019. Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3293882.3330553","DOI":"10.1145\/3293882.3330553"},{"key":"14_CR29","doi-asserted-by":"publisher","unstructured":"Le, V., Afshari, M., Su, Z.: Compiler validation via equivalence modulo inputs. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, pp. 216\u2013226. Association for Computing Machinery, New York (2014). https:\/\/doi.org\/10.1145\/2594291.2594334","DOI":"10.1145\/2594291.2594334"},{"key":"14_CR30","doi-asserted-by":"publisher","unstructured":"Le, V., Sun, C., Su, Z.: Finding deep compiler bugs via guided stochastic program mutation. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 386\u2013399. OOPSLA 2015, Association for Computing Machinery, New York (2015). https:\/\/doi.org\/10.1145\/2814270.2814319","DOI":"10.1145\/2814270.2814319"},{"issue":"7","key":"14_CR31","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1538788.1538814","volume":"52","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: Formal verification of a realistic compiler. Commun. ACM 52(7), 107\u2013115 (2009). https:\/\/doi.org\/10.1145\/1538788.1538814","journal-title":"Commun. ACM"},{"key":"14_CR32","doi-asserted-by":"publisher","unstructured":"Lidbury, C., Lascu, A., Chong, N., Donaldson, A.F.: Many-core compiler fuzzing. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp. 65\u201376. Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2737924.2737986","DOI":"10.1145\/2737924.2737986"},{"key":"14_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11506676_2","volume-title":"Logic Based Program Synthesis and Transformation","author":"P L\u00f3pez-Garc\u00eda","year":"2005","unstructured":"L\u00f3pez-Garc\u00eda, P., Bueno, F., Hermenegildo, M.: Determinacy analysis for logic programs using mode and type information. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol. 3573, pp. 19\u201335. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11506676_2"},{"issue":"2","key":"14_CR34","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s00354-008-0085-1","volume":"28","author":"P Lopez-Garcia","year":"2010","unstructured":"Lopez-Garcia, P., Bueno, F., Hermenegildo, M.V.: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses. New Gener. Comput. 28(2), 117\u2013206 (2010). https:\/\/doi.org\/10.1007\/s00354-008-0085-1","journal-title":"New Gener. Comput."},{"key":"14_CR35","first-page":"100","volume":"10","author":"WM McKeeman","year":"1998","unstructured":"McKeeman, W.M.: Differential testing for software. Digit. Tech. J. 10, 100\u2013107 (1998)","journal-title":"Digit. Tech. J."},{"key":"14_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-02846-5_25","volume-title":"Logic Programming","author":"E Mera","year":"2009","unstructured":"Mera, E., Lopez-Garc\u00eda, P., Hermenegildo, M.: Integrating software testing and run-time checking in an assertion verification framework. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 281\u2013295. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02846-5_25"},{"key":"14_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-18378-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"E Mera","year":"2011","unstructured":"Mera, E., Trigo, T., Lopez-Garc\u00eda, P., Hermenegildo, M.: Profiling for run-time checking of computational properties and performance debugging in logic programs. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol. 6539, pp. 38\u201353. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18378-2_6"},{"key":"14_CR38","doi-asserted-by":"publisher","unstructured":"Midtgaard, J., M\u00f8ller, A.: QuickChecking static analysis properties. Softw. Test., Verif. Reliab.27(6) (2017). https:\/\/doi.org\/10.1002\/stvr.1640","DOI":"10.1002\/stvr.1640"},{"key":"14_CR39","unstructured":"Muthukumar, K., Hermenegildo, M.: Combined determination of sharing and freeness of program variables through abstract interpretation. In: International Conference on Logic Programming (ICLP 1991), pp. 49\u201363. MIT Press, June 1991"},{"issue":"2\/3","key":"14_CR40","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K Muthukumar","year":"1992","unstructured":"Muthukumar, K., Hermenegildo, M.: Compile-time derivation of variable dependency using abstract interpretation. J. Logic Program. 13(2\/3), 315\u2013347 (1992)","journal-title":"J. Logic Program."},{"key":"14_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An assertion language for constraint logic programs. In: Deransart, P., Hermenegildo, M.V., Ma\u0142uszynski, J. (eds.) Analysis and Visualization Tools for Constraint Programming. LNCS, vol. 1870, pp. 23\u201361. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10722311_2"},{"key":"14_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/10720327_16","volume-title":"Logic-Based Program Synthesis and Transformation","author":"G Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: Combined static and dynamic assertion-based debugging of constraint logic programs. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol. 1817, pp. 273\u2013292. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10720327_16"},{"key":"14_CR43","doi-asserted-by":"publisher","unstructured":"Regehr, J., Chen, Y., Cuoq, P., Eide, E., Ellison, C., Yang, X.: Test-case reduction for C compiler bugs. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 335\u2013346. PLDI \u201912, Association for Computing Machinery, New York (2012). https:\/\/doi.org\/10.1145\/2254064.2254104","DOI":"10.1145\/2254064.2254104"},{"issue":"1","key":"14_CR44","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/565816.503293","volume":"37","author":"Z Shao","year":"2002","unstructured":"Shao, Z., Saha, B., Trifonov, V., Papaspyrou, N.: A type system for certified binaries. SIGPLAN Not. 37(1), 217\u2013232 (2002). https:\/\/doi.org\/10.1145\/565816.503293","journal-title":"SIGPLAN Not."},{"key":"14_CR45","doi-asserted-by":"publisher","unstructured":"Stulova, N., Morales, J.F., Hermenegildo, M.V.: Practical run-time checking via unobtrusive property caching, theory and practice of logic programming. In: 31st Internationl Conference on Logic Programming (ICLP 2015) Special Issue 15(04\u201305), pp. 726\u2013741, September 2015. https:\/\/doi.org\/10.1017\/S1471068415000344, http:\/\/arxiv.org\/abs\/1507.05986","DOI":"10.1017\/S1471068415000344"},{"key":"14_CR46","doi-asserted-by":"crossref","unstructured":"Stulova, N., Morales, J.F., Hermenegildo, M.V.: Reducing the overhead of assertion run-time checks via static analysis. In: 18th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2016), pp. 90\u2013103. ACM Press, September 2016","DOI":"10.1145\/2967973.2968597"},{"key":"14_CR47","doi-asserted-by":"publisher","unstructured":"Sun, C., Le, V., Su, Z.: Finding compiler bugs via live code mutation. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, pp. 849\u2013863. Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2983990.2984038","DOI":"10.1145\/2983990.2984038"},{"key":"14_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-45789-5_10","volume-title":"Static Analysis","author":"C Vaucheret","year":"2002","unstructured":"Vaucheret, C., Bueno, F.: More precise yet efficient type inference for logic programs. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol. 2477, pp. 102\u2013116. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45789-5_10"},{"key":"14_CR49","doi-asserted-by":"publisher","unstructured":"Wu, J., Hu, G., Tang, Y., Yang, J.: Effective dynamic detection of alias analysis errors. In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2013, pp. 279\u2013289. Association for Computing Machinery, New York (2013). https:\/\/doi.org\/10.1145\/2491411.2491439","DOI":"10.1145\/2491411.2491439"},{"key":"14_CR50","doi-asserted-by":"publisher","unstructured":"Yang, X., Chen, Y., Eide, E., Regehr, J.: Finding and understanding bugs in C compilers. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp. 283\u2013294. Association for Computing Machinery, New York, NY, USA (2011). https:\/\/doi.org\/10.1145\/1993498.1993532","DOI":"10.1145\/1993498.1993532"},{"issue":"6","key":"14_CR51","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/318774.318946","volume":"24","author":"A Zeller","year":"1999","unstructured":"Zeller, A.: Yesterday, my program worked. Today, it does not. Why? SIGSOFT Softw. Eng. Notes 24(6), 253\u2013267 (1999). https:\/\/doi.org\/10.1145\/318774.318946","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"14_CR52","doi-asserted-by":"publisher","unstructured":"Zhang, C., Su, T., Yan, Y., Zhang, F., Pu, G., Su, Z.: Finding and understanding bugs in software model checkers. In: Proceedings of the 13th Joint Meeting of the 18th European Software Engineering Conference and the 27th Symposium on the Foundations of Software Engineering, pp. 763\u2013773 (2019). https:\/\/doi.org\/10.1145\/3338906.3338932","DOI":"10.1145\/3338906.3338932"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-68446-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,24]],"date-time":"2024-08-24T03:45:55Z","timestamp":1724471155000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-68446-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030684457","9783030684464"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-68446-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"13 February 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LOPSTR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Logic-Based Program Synthesis and Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bologna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lopstr2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/nms.kcl.ac.uk\/maribel.fernandez\/LOPSTR2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"48% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, two invited talks are included in the proceedings. Due to the COVID-19 pandemic the conference was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}