%0 Journal Article %1 journals/cacm/CadarS13 %A Cadar, Cristian %A Sen, Koushik %D 2013 %J Commun. ACM %K dblp %N 2 %P 82-90 %T Symbolic execution for software testing: three decades later. %U http://dblp.uni-trier.de/db/journals/cacm/cacm56.html#CadarS13 %V 56

@article{journals/cacm/CadarS13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cadar, Cristian and Sen, Koushik}, biburl = {https://www.bibsonomy.org/bibtex/2e5332f9eced248f79ba23fba972d13c1/dblp}, ee = {https://doi.org/10.1145/2408776.2408795}, interhash = {ff398c0335dde239de399938c19c375c}, intrahash = {e5332f9eced248f79ba23fba972d13c1}, journal = {Commun. ACM}, keywords = {dblp}, number = 2, pages = {82-90}, timestamp = {2018-11-07T12:00:19.000+0100}, title = {Symbolic execution for software testing: three decades later.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm56.html#CadarS13}, volume = 56, year = 2013 }