What does KLEE stand for ?

[Unmesh Joshi]

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