Home Explore Help
Register Sign In
anomie
/
pdf-collection
Watch 2
Star 0
Fork 1
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
pdf-collection
/
KLEE - Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (klee-osdi-2008).pdf

KLEE - Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (klee-osdi-2008).pdf 223 KB
Permalink History Raw