4 papers:
ISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation #testing- Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.
ICSE-2012-KimKKJ #approach #case study #industrial #testing #using- Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.
OSDI-2008-CadarDE #automation #generative #named #source code #testing- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (CC, DD, DRE), pp. 209–224.
VLDB-2005-MichelTW #algorithm #distributed #framework #named #query- KLEE: A Framework for Distributed Top-k Query Algorithms (SM, PT, GW), pp. 637–648.
