@inproceedings {267932, author = {Cristian Cadar and Daniel Dunbar and Dawson Engler}, title = {{KLEE}: Unassisted and Automatic Generation of {High-Coverage} Tests for Complex Systems Programs}, booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)}, year = {2008}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/osdi-08/klee-unassisted-and-automatic-generation-high-coverage-tests-complex-systems}, publisher = {USENIX Association}, month = dec }