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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
