[klee-dev] KLEE and Mutation Testing

[Alex Denisov]

Hi there,

Stan (on cc) and I are working on a tool for mutation testing.
We have had an idea to apply mutation testing against tests generated by KLEE to check whether we can improve them.

Recently Stan made the first iteration of it.
Results are posted here: http://stanislaw.github.io/2017/05/07/mull-and-klee-part1.html

We would appreciate any input and advice from KLEE experts on this topic.

Cheers,
Alex.
-- 
AlexDenisov
Software Engineer, https://lowlevelbits.org