Year: 2025
Type: article
Abstract: The identification of the sources of a runtime error is a common task for Erlang developers. Dynamic and static tools can assist in this task. Our work aims to help Erlang developers in debugging processes to reproduce a runtime error. We would like to use and extend the static analyser framework of RefactorErl with new algorithms to support this fault localisation process. In our previous paper, we presented a symbolic execution-based analysis method to find the source of runtime errors. This paper extends that work with path selection heuristics to improve the efficiency of the algorithm in the RefactorErl framework.
Source: Acta Cybernetica
Authors: Zsófia Erdei, István Bozó, Melinda Tóth
Institution: Eötvös Loránd University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
Awards: G2953162778, G298428782, G8304482539
OpenAlex ID: W4411750053