Kádár, I., Hegedűs, P. and Rudolf, F. 2014. Runtime exception detection in Java programs using symbolic execution. Acta Cybernetica. 21, 3 (Jan. 2014), 331-352. DOI:https://doi.org/10.14232/actacyb.21.3.2014.4.