Test generation via dynamic symbolic execution for mutation testing

Show full item record

Title: Test generation via dynamic symbolic execution for mutation testing
Author: Zhang, Lingming; Xie, Tao; Zhang, Lu; 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-10
URI: ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2010/TR-2010-10.pdf
http://www.lib.ncsu.edu/resolver/1840.4/4145


Files in this item

Files Size Format View
TR-2010-10.pdf 283.3Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record