On the techniques we create, the tools we build, and their misalignments: a study of KLEE.

Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer

Browse the full ICSE paper archive.