[klee-dev] using klee with Siemens Benchmarks

[DAVID LIGHTSTONE]

At one time I was playing around with KLEE. The goal was to see if MCDC coverage was possible.
It was not.

By coincidence I discovered CIL a C language program transformation tool.
Try
(1) transform the source using CIL
(2) generate test cases using KLEE operating upon the transformed source
(3) run test cases against the original source



Dave Lightstone
-------------- next part --------------
HTML attachment scrubbed and removed