%0 Conference Paper %1 conf/issa/MunteanRIE15 %A Muntean, Paul %A Rahman, Mustafizur %A Ibing, Andreas %A Eckert, Claudia %B ISSA %D 2015 %E Venter, Hein S. %E Loock, Marianne %E Coetzee, Marijke %E Eloff, Mariki M. %E Flowerday, Stephen %I IEEE %K %P 1-8 %T SMT-constrained symbolic execution engine for integer overflow detection in C code. %U http://dblp.uni-trier.de/db/conf/issa/issa2015.html#MunteanRIE15 %@ 978-1-4799-7755-0

@inproceedings{conf/issa/MunteanRIE15, added-at = {2023-12-13T06:05:25.000+0100}, author = {Muntean, Paul and Rahman, Mustafizur and Ibing, Andreas and Eckert, Claudia}, biburl = {https://www.bibsonomy.org/bibtex/26941de7f0fab83c1e47e76246a9d2d21/admin}, booktitle = {ISSA}, crossref = {conf/issa/2015}, editor = {Venter, Hein S. and Loock, Marianne and Coetzee, Marijke and Eloff, Mariki M. and Flowerday, Stephen}, ee = {https://doi.org/10.1109/ISSA.2015.7335070}, interhash = {aa3c4fd96338900f699c92702ef9b71a}, intrahash = {6941de7f0fab83c1e47e76246a9d2d21}, isbn = {978-1-4799-7755-0}, keywords = {}, pages = {1-8}, publisher = {IEEE}, timestamp = {2023-12-13T06:05:25.000+0100}, title = {SMT-constrained symbolic execution engine for integer overflow detection in C code.}, url = {http://dblp.uni-trier.de/db/conf/issa/issa2015.html#MunteanRIE15}, year = 2015 }