%0 Conference Paper %1 conf/icse/Christakis0W16 %A Christakis, Maria %A Müller, Peter %A Wüstholz, Valentin %B ICSE %D 2016 %E Dillon, Laura K. %E Visser, Willem %E Williams, Laurie A. %I ACM %K dblp %P 144-155 %T Guiding dynamic symbolic execution toward unverified program executions. %U http://dblp.uni-trier.de/db/conf/icse/icse2016.html#Christakis0W16 %@ 978-1-4503-3900-1

@inproceedings{conf/icse/Christakis0W16, added-at = {2021-08-10T00:00:00.000+0200}, author = {Christakis, Maria and Müller, Peter and Wüstholz, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/29332e9546ee1cc08f513b7f0cb2ddc8f/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2016}, editor = {Dillon, Laura K. and Visser, Willem and Williams, Laurie A.}, ee = {https://ieeexplore.ieee.org/document/7886899/}, interhash = {0bed6a8d56d8723bc0c9279ae94bda38}, intrahash = {9332e9546ee1cc08f513b7f0cb2ddc8f}, isbn = {978-1-4503-3900-1}, keywords = {dblp}, pages = {144-155}, publisher = {ACM}, timestamp = {2024-04-10T05:37:00.000+0200}, title = {Guiding dynamic symbolic execution toward unverified program executions.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2016.html#Christakis0W16}, year = 2016 }