Symbolic Execution with Interpolation

Documents

Refer to Tracerx examples home page and KLEE.