Issue analysis for residual structural coverage in dynamic symbolic execution

Show full item record

Title: Issue analysis for residual structural coverage in dynamic symbolic execution
Author: Xiao, Xusheng; Xie, Tao; Tillmann, Nikolai; de Halleux, Jonathan; Mei, Hong
Publisher: North Carolina State University. Dept. of Computer Science
Date: 2010
Series/Report No.: Technical report (North Carolina State University. Dept. of Computer Science)
TR-2010-7
URI: ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2010/TR-2010-7.pdf
http://www.lib.ncsu.edu/resolver/1840.4/4131


Files in this item

Files Size Format View
TR-2010-7.pdf 196.2Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record