Kádár István; Hegedűs Péter; Ferenc Rudolf: Runtime Exception Detection in Java Programs Using Symbolic Execution.
Acta Cybernetica (Szeged), 21 (3). pp. 331-352. ISSN 0324-721X (2014)