Automatic test data generation for control flow coverage using Boolean constraints

Thumbnail Image

Files

WeilerStefan.pdf (2.25 MB)

Date

2013

Authors

Weiler, Stefan C.

Advisors

License

DOI

Type

Thesis

Journal Title

Journal ISSN

Volume Title

Publisher

Grantor

Abstract

Description

Keywords

Automated test data generation, University of Wisconsin - Platteville: Master of Science - Computer Science, Modeling, Control flow coverage, UW Platteville - Master of Science - Computer Science

Related Material and Data

Citation

Sponsorship

URI

http://digital.library.wisc.edu/1793/68673

Collections

UWP Master's Theses

Endorsement

Review

Supplemented By

Referenced By