Dyta: dynamic symbolic execution guided with static verification results

Authors: Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://research.microsoft.com/pubs/144568/DyTa.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— formal methods, reliability, D.2.5 [Software Engineering, Testing and Debugging—testing tools General Terms Software Engineering, Verification, Reliability Keywords defect detection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.1885; http://research.microsoft.com/pubs/144568/DyTa.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.1885
http://research.microsoft.com/pubs/144568/DyTa.pdf