I. Kádár, “The optimization of a symbolic execution engine for detecting runtime errors”, Acta Cybern, vol. 23, no. 2, pp. 573-597, Jan. 2017.