Istvan Kadar, Péter Hegedus, Rudolf Ferenc. Runtime Exception Detection in Java Programs Using Symbolic Execution. Acta Cybern., 21(3):331-352, 2014. [doi]
@article{KadarHF14,
title = {Runtime Exception Detection in Java Programs Using Symbolic Execution},
author = {Istvan Kadar and Péter Hegedus and Rudolf Ferenc},
year = {2014},
url = {http://www.inf.u-szeged.hu/actacybernetica/edb/vol21n3/Kadar_2014_ActaCybernetica.xml},
researchr = {https://researchr.org/publication/KadarHF14},
cites = {0},
citedby = {0},
journal = {Acta Cybern.},
volume = {21},
number = {3},
pages = {331-352},
}