Kádár, I. 2017. The optimization of a symbolic execution engine for detecting runtime errors. Acta Cybernetica. 23, 2 (Jan. 2017), 573-597. DOI:https://doi.org/10.14232/actacyb.23.2.2017.9.