Selecting Execution Path for Replaying Errors

Authors

DOI:

https://doi.org/10.14232/actacyb.312432

Keywords:

static analysis, Erlang, symbolic execution, fault localization, path selection

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.

Downloads

Download data is not yet available.

Downloads

Published

2025-05-21

How to Cite

Erdei, Z., Bozó, I., & Tóth, M. (2025). Selecting Execution Path for Replaying Errors. Acta Cybernetica. https://doi.org/10.14232/actacyb.312432

Issue

Accepted Papers

Section

Special Issue of the 14th Conference of PhD Students in Computer Science

License

Copyright (c) 2025 Acta Cybernetica

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.