QIQI MEETS KLEE