Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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