%0 Journal Article %1 journals/cacm/AvgerinosRCB16 %A Avgerinos, Thanassis %A Rebert, Alexandre %A Cha, Sang Kil %A Brumley, David %D 2016 %J Commun. ACM %K dblp %N 6 %P 93-100 %T Enhancing symbolic execution with veritesting. %U http://dblp.uni-trier.de/db/journals/cacm/cacm59.html#AvgerinosRCB16 %V 59

@article{journals/cacm/AvgerinosRCB16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Avgerinos, Thanassis and Rebert, Alexandre and Cha, Sang Kil and Brumley, David}, biburl = {https://www.bibsonomy.org/bibtex/2ab2773ba4479e6ce14ae712f8c5ec467/dblp}, ee = {https://doi.org/10.1145/2927924}, interhash = {90ddc0f3d4fb4c24ccb9a44047c937a5}, intrahash = {ab2773ba4479e6ce14ae712f8c5ec467}, journal = {Commun. ACM}, keywords = {dblp}, number = 6, pages = {93-100}, timestamp = {2018-11-07T11:53:11.000+0100}, title = {Enhancing symbolic execution with veritesting.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm59.html#AvgerinosRCB16}, volume = 59, year = 2016 }