I. Kádár, P. Hegedűs, and F. Rudolf, “Runtime exception detection in Java programs using symbolic execution”, Acta Cybern, vol. 21, no. 3, pp. 331-352, Jan. 2014.