Issue analysis for residual structural coverage in dynamic symbolic execution

No Thumbnail Available

Files

TR-2010-7.pdf (196.25 KB)

Date

2010

Authors

Advisors

Journal Title

Series/Report No.

Technical report (North Carolina State University. Dept. of Computer Science)
TR-2010-7

Journal ISSN

Volume Title

Publisher

North Carolina State University. Dept. of Computer Science

Abstract

Description

Keywords

Citation

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

Degree

Discipline

Collections

Department of Computer Science Technical Reports