KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

Title{KLEE}: Unassisted and Automatic Generation of {High-Coverage} Tests for Complex Systems Programs
Publication TypeConference Paper
Year of Publication2008
AuthorsCadar C, Dunbar D, Engler D
Conference Name8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)
Date Published12/2008
PublisherUSENIX Association
Conference LocationSan Diego, CA
URLhttps://www.usenix.org/conference/osdi-08/klee-unassisted-and-automatic-generation-high-coverage-tests-complex-systems