%0 Conference Paper %1 conf/sigsoft/Cadar15 %A Cadar, Cristian %B ESEC/SIGSOFT FSE %D 2015 %E Nitto, Elisabetta Di %E Harman, Mark %E Heymans, Patrick %I ACM %K dblp %P 906-909 %T Targeted program transformations for symbolic execution. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2015.html#Cadar15 %@ 978-1-4503-3675-8

@inproceedings{conf/sigsoft/Cadar15, added-at = {2022-12-07T00:00:00.000+0100}, author = {Cadar, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/26e471bdda794775a46ec6c9ca52e7955/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2015}, editor = {Nitto, Elisabetta Di and Harman, Mark and Heymans, Patrick}, ee = {https://doi.org/10.1145/2786805.2803205}, interhash = {c4e09f7ee92c2bc3b352b0bcd4dd2c1f}, intrahash = {6e471bdda794775a46ec6c9ca52e7955}, isbn = {978-1-4503-3675-8}, keywords = {dblp}, pages = {906-909}, publisher = {ACM}, timestamp = {2024-04-10T18:19:47.000+0200}, title = {Targeted program transformations for symbolic execution.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2015.html#Cadar15}, year = 2015 }