DyTa: Dynamic Symbolic Execution Guided with Static Verification Results

Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann

Details

Publication typeInproceedings
Published inProc. 33rd International Conference on Software Engineering (ICSE 2011), Demonstration
URLhttp://dx.doi.org/10.1145/1985793.1985971
> Publications > DyTa: Dynamic Symbolic Execution Guided with Static Verification Results