%0 Conference Paper %1 conf/iccsa/KadarHF15 %A Kádár, István %A Hegedüs, Péter %A Ferenc, Rudolf %B ICCSA (5) %D 2015 %E Gervasi, Osvaldo %E Murgante, Beniamino %E Misra, Sanjay %E Gavrilova, Marina L. %E Rocha, Ana Maria Alves Coutinho %E Torre, Carmelo Maria %E Taniar, David %E Apduhan, Bernady O. %I Springer %K dblp %P 20-35 %T Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors. %U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2015-5.html#KadarHF15 %V 9159 %@ 978-3-319-21412-2

@inproceedings{conf/iccsa/KadarHF15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Kádár, István and Hegedüs, Péter and Ferenc, Rudolf}, biburl = {https://www.bibsonomy.org/bibtex/21e74aca95c64480e83e2867a5cd7fca4/dblp}, booktitle = {ICCSA (5)}, crossref = {conf/iccsa/2015-5}, editor = {Gervasi, Osvaldo and Murgante, Beniamino and Misra, Sanjay and Gavrilova, Marina L. and Rocha, Ana Maria Alves Coutinho and Torre, Carmelo Maria and Taniar, David and Apduhan, Bernady O.}, ee = {https://doi.org/10.1007/978-3-319-21413-9_2}, interhash = {c33e3dcf2296d134679842a8ebbc9c87}, intrahash = {1e74aca95c64480e83e2867a5cd7fca4}, isbn = {978-3-319-21412-2}, keywords = {dblp}, pages = {20-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:30:58.000+0200}, title = {Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors.}, url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2015-5.html#KadarHF15}, volume = 9159, year = 2015 }