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