Test generation via dynamic symbolic execution for mutation testing

No Thumbnail Available

Files

TR-2010-10.pdf (283.31 KB)

Date

2010

Authors

Advisors

Journal Title

Series/Report No.

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

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-10.pdf
 http://www.lib.ncsu.edu/resolver/1840.4/4145

Degree

Discipline

Collections

Department of Computer Science Technical Reports