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