Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE.

Xiaoyin Wang, Lingming Zhang, Philip Tanofsky

Browse the full ISSTA paper archive.