baijia - papers and notes

baijia - papers and notes > The world of operating systems > Kernel > Execution > Cadar: KLEE: unassisted and automatic generation of high-coverage tests
Full Version: Cadar: KLEE: unassisted and automatic generation of high-coverage tests
You're currently viewing a stripped down version of our content. View the full version with proper formatting.

lingu

08-18-2009, 07:07 PM
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cadar, Dunbar, Engler
baijia - papers and notes > The world of operating systems > Kernel > Execution > Cadar: KLEE: unassisted and automatic generation of high-coverage tests
Reference URL's