Work regarding a symbolic execution CPA and its implementation in CPAchecker.
Read index.html for more information about the report and benchmarks.
The implementation is present in CPAchecker repository's trunk. Further information to CPAchecker, as well as its repository, can be found at http://cpachecker.sosy-lab.org. To use symbolic execution with CPAchecker, run CPAchecker with the configuration -valueAnalysis-symbolic.