%0 Journal Article %1 journals/actaC/KadarHF14 %A Kádár, István %A Hegedüs, Péter %A Ferenc, Rudolf %D 2014 %J Acta Cybern. %K dblp %N 3 %P 331-352 %T Runtime Exception Detection in Java Programs Using Symbolic Execution. %U http://dblp.uni-trier.de/db/journals/actaC/actaC21.html#KadarHF14 %V 21

@article{journals/actaC/KadarHF14, added-at = {2017-05-15T00:00:00.000+0200}, author = {Kádár, István and Hegedüs, Péter and Ferenc, Rudolf}, biburl = {https://www.bibsonomy.org/bibtex/2c19a8048a022d6f01c4e39a236b10876/dblp}, ee = {https://doi.org/10.14232/actacyb.21.3.2014.4}, interhash = {180038f131c00e69eb28a6901c7b898c}, intrahash = {c19a8048a022d6f01c4e39a236b10876}, journal = {Acta Cybern.}, keywords = {dblp}, number = 3, pages = {331-352}, timestamp = {2017-05-16T11:36:42.000+0200}, title = {Runtime Exception Detection in Java Programs Using Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/journals/actaC/actaC21.html#KadarHF14}, volume = 21, year = 2014 }