Mohammed Bekkouche. Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults. In Slim Kallel, Zakaria Benzadri, Ahmed Hadj Kacem, editors, Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023. Volume 3642 of CEUR Workshop Proceedings, pages 1-13, CEUR-WS.org, 2023. [doi]
Abstract is missing.