Kádár, István. 2017. “The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors”. Acta Cybernetica 23 (2), 573-97. https://doi.org/10.14232/actacyb.23.2.2017.9.