Kádár István:   The optimization of a symbolic execution engine for detecting runtime errors.  In: Acta cybernetica, (23) 2.  pp. 573-597. (2017)