{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T14:39:07Z","timestamp":1781534347992,"version":"3.54.5"},"reference-count":15,"publisher":"University of Szeged","issue":"2","license":[{"start":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T00:00:00Z","timestamp":1747785600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100012550","name":"National Research, Development and Innovation Fund","doi-asserted-by":"publisher","award":["TKP2021-NVA-29"],"award-info":[{"award-number":["TKP2021-NVA-29"]}],"id":[{"id":"10.13039\/501100012550","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Cybern"],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.14232\/actacyb.312432","type":"journal-article","created":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T06:33:12Z","timestamp":1747981992000},"page":"141-153","source":"Crossref","is-referenced-by-count":0,"title":["Selecting Execution Path for Replaying Errors"],"prefix":"10.14232","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5089-4984","authenticated-orcid":false,"given":"Zs\u00f3fia","family":"Erdei","sequence":"first","affiliation":[{"id":[{"id":"https:\/\/ror.org\/01jsq2704","id-type":"ROR","asserted-by":"publisher"}],"name":"E\u00f6tv\u00f6s Lor\u00e1nd University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5145-9688","authenticated-orcid":false,"given":"Istv\u00e1n","family":"Boz\u00f3","sequence":"additional","affiliation":[{"id":[{"id":"https:\/\/ror.org\/01jsq2704","id-type":"ROR","asserted-by":"publisher"}],"name":"E\u00f6tv\u00f6s Lor\u00e1nd University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6300-7945","authenticated-orcid":false,"given":"Melinda","family":"T\u00f3th","sequence":"additional","affiliation":[{"id":[{"id":"https:\/\/ror.org\/01jsq2704","id-type":"ROR","asserted-by":"publisher"}],"name":"E\u00f6tv\u00f6s Lor\u00e1nd University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"5401","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref2","first-page":"138","article-title":"RefactorErl --- Source code analysis and refactoring in Erlang","volume-title":"Proceedings of the 12th Symposium on Programming Languages and Software Tools","author":"Boz\u00f3","year":"2011","unstructured":"Boz\u00f3, I., Horp\u00e1csi, D., Horv\u00e1th, Z., Kitlei, R., K\u00f6szegi, J., M., T., and T\u00f3th, M. RefactorErl --- Source code analysis and refactoring in Erlang. In Proceedings of the 12th Symposium on Programming Languages and Software Tools, pages 138-148, Tallin, Estonia, 2011. ISBN: 978-9949-23-178-2."},{"key":"ref3","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Cadar","year":"2008","unstructured":"Cadar, C., Dunbar, D., and Engler, D. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI'08, pages 209-224, USA, 2008. USENIX Association."},{"key":"ref4","isbn-type":"print","volume-title":"Erlang programming","author":"Cesarini","year":"2009","unstructured":"Cesarini, F. and Thompson, S. Erlang programming. O'Reilly, 2009. ISBN: 978-0-596-51818-9.","ISBN":"https:\/\/id.crossref.org\/isbn\/9780596518189"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref6","first-page":"42","article-title":"Symbolic program execution using the Erlang verification tool","volume-title":"International Workshop on Functional and Logic Programming","author":"Earle","year":"2000","unstructured":"Earle, C.B. Symbolic program execution using the Erlang verification tool. In Alpuente, M., editor, 9th International Workshop on Functional and Logic Programming, pages 42-55, 2000."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.47745\/ausi-2024-0004"},{"key":"ref8","first-page":"7","article-title":"Modeling semantic knowledge in Erlang for refactoring","volume-title":"Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques","author":"Horv\u00e1th","year":"2009","unstructured":"Horv\u00e1th, Z., L\u00f6vei, L., Kozsik, T., Kitlei, R., V\u00edg, A.N., Nagy, T., T\u00f3th, M., and Kir\u00e1ly, R. Modeling semantic knowledge in Erlang for refactoring. In Knowledge Engineering: Principles and Techniques, Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques, volume 54(2009) Special Issue of Studia Universitatis Babe\u015f-Bolyai, Series Informatica, pages 7-16. Cluj-Napoca, Romania, 2009."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23702-7_11"},{"key":"ref11","article-title":"A CutEr tool","author":"Sagonas","year":"2016","unstructured":"Sagonas, K. A CutEr tool. Talk at Erlang Factory, 2016."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32096-5_9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14125-1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46823-4_28"}],"container-title":["Acta Cybernetica"],"original-title":[],"link":[{"URL":"https:\/\/cyber.bibl.u-szeged.hu\/index.php\/actcybern\/article\/download\/4528\/4118","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/cyber.bibl.u-szeged.hu\/index.php\/actcybern\/article\/download\/4528\/4118","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,17]],"date-time":"2025-07-17T09:41:48Z","timestamp":1752745308000},"score":1,"resource":{"primary":{"URL":"https:\/\/cyber.bibl.u-szeged.hu\/index.php\/actcybern\/article\/view\/4528"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,21]]},"references-count":15,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2025,7,15]]}},"URL":"https:\/\/doi.org\/10.14232\/actacyb.312432","relation":{},"ISSN":["2676-993X","0324-721X"],"issn-type":[{"value":"2676-993X","type":"electronic"},{"value":"0324-721X","type":"print"}],"subject":[],"published":{"date-parts":[[2025,5,21]]}}}