Kádár István; Hegedűs Péter; Rudolf Ferenc: Runtime exception detection in Java programs using symbolic execution. In: Acta cybernetica, (21) 3. pp. 331-352. (2014)