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)
Kádár István and Hegedűs Péter and Ferenc Rudolf: Runtime exception detection in Java programs using symbolic execution. In: Acta cybernetica, (21) 3. pp. 331-352. (2014)
Kádár István: The optimization of a symbolic execution engine for detecting runtime errors.