paper on speculative analysis of C/C++ code?

Of course, I stumble across it as soon as I posted the message...

KLEE is what I was remembering:
<http://klee.llvm.org/GetStarted.html>