Selecting execution path for replaying errors

DOI10.14232/ACTACYB.312432MaRDI QIDQ6927121zbMATH OpenFDO

Authors Zsófia Erdei, István Bozó, Melinda Tóth

Publication date 22 September 2025

Published in Acta Cybernetica (Search for Journal in Brave)

zbMATH Keywords

static analysissymbolic executionfault localizationErlangpath selection

Mathematics Subject Classification ID

Synchronization error-correcting codes (94B50)

This page was built for publication: Selecting execution path for replaying errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6927121)