@conference {16368, title = {Runtime Exception Detection in Java Programs Using Symbolic Execution}, booktitle = {Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST{\textquoteright}13}, year = {2013}, pages = {215{\textendash}229}, publisher = {University of Szeged}, organization = {University of Szeged}, address = {Szeged}, author = {Istv{\'a}n K{\'a}d{\'a}r and P Heged{\H u}s and Rudolf Ferenc}, editor = {{\'A}kos Kiss} }