Kádár István; Hegedűs Péter; Ferenc Rudolf: Runtime Exception detection in Java programs using symbolic execution.
In: 13th Symposium on Programming Languages and Software Tools, (Kiss Ákos szerk.) Szeged, Magyarország, 2013.08.26-2013.08.27. University of Szeged, Szeged, pp. 215-229. (2013) ISBN 978-963-306-228-9