Symbolic Execution with Interpolation

Introduction

Symbolic execution is a technique for finding software defects automatically. It is effective in generating traceable defect reports. In this project we build upon our experience with TRACER symbolic execution tool to advance further by combining the technologies we have developed with advanced symbolic execution approaches.

Resources

Links