Hello, I read the paper http://llvm.org/pubs/2008-12-OSDI-KLEE.html I could not find it on the Web either. Thanks Regards, Unmesh Joshi -------------- next part -------------- HTML attachment scrubbed and removed