DyTa: Dynamic Symbolic Execution Guided with Static Verification Results
Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann
May 2011
 PDF file |
In Proc. 33rd International Conference on Software Engineering (ICSE 2011), Demonstration
Details
| Type | Inproceedings |
| URL | http://dx.doi.org/10.1145/1985793.1985971 |