%0 Conference Paper %1 conf/usenix/CroftMCM15 %A Croft, Jason %A Mahajan, Ratul %A Caesar, Matthew %A Musuvathi, Madan %B USENIX Annual Technical Conference %D 2015 %E Lu, Shan %E Riedel, Erik %I USENIX Association %K dblp %P 165-176 %T Systematically Exploring the Behavior of Control Programs. %U http://dblp.uni-trier.de/db/conf/usenix/usenix2015.html#CroftMCM15 %@ 978-1-931971-225

@inproceedings{conf/usenix/CroftMCM15, added-at = {2021-05-19T00:00:00.000+0200}, author = {Croft, Jason and Mahajan, Ratul and Caesar, Matthew and Musuvathi, Madan}, biburl = {https://www.bibsonomy.org/bibtex/242ea844f55b78412ab445a7b2ed9e159/dblp}, booktitle = {USENIX Annual Technical Conference}, crossref = {conf/usenix/2015}, editor = {Lu, Shan and Riedel, Erik}, ee = {https://www.usenix.org/conference/atc15/technical-session/presentation/croft}, interhash = {0bdc1c409701e9dd70cc90a4ed30ccb2}, intrahash = {42ea844f55b78412ab445a7b2ed9e159}, isbn = {978-1-931971-225}, keywords = {dblp}, pages = {165-176}, publisher = {USENIX Association}, timestamp = {2024-04-09T19:10:25.000+0200}, title = {Systematically Exploring the Behavior of Control Programs.}, url = {http://dblp.uni-trier.de/db/conf/usenix/usenix2015.html#CroftMCM15}, year = 2015 }