Concolic Testing With KLEE

July 8, 2014 · 3 min · 452 words · Me