Kádár, István, Péter Hegedűs, and Ferenc Rudolf. 2014. “Runtime Exception Detection in Java Programs Using Symbolic Execution”. Acta Cybernetica 21 (3), 331-52. https://doi.org/10.14232/actacyb.21.3.2014.4.