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

Published in: ICSE (2016)

Keyphrases

information technology
decision support
statistical analysis
dynamic programming
software tools
simplex method