Mason Archival Repository Service

Generating Cost-effective Criteria-based Tests from Behavioral Models

Show simple item record

dc.contributor.advisor Offutt, Jeff Li, Nan
dc.creator Li, Nan en_US 2014-09-18T01:56:58Z 2014-09-18T01:56:58Z 2014-05 en_US
dc.description.abstract In software engineering, behavioral models such as finite state machines (FSMs) are used to represent key system behaviors. To evaluate the system behaviors, testers need to generate tests from the models and run the tests to check whether the execution meets the expectation. Coverage criteria are rules to specify which artifacts of the models (test requirements) should be included in the tests.
dc.format.extent 196 pages en_US
dc.language.iso en en_US
dc.rights Copyright 2014 Nan Li en_US
dc.subject Computer science en_US
dc.subject Model-based Testing en_US
dc.subject Software Engineering en_US
dc.subject Software Testing en_US
dc.subject Test Automation en_US
dc.subject Test Generation en_US
dc.subject Test Oracles en_US
dc.title Generating Cost-effective Criteria-based Tests from Behavioral Models en_US
dc.type Dissertation en Doctoral en Computer Science en George Mason University en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search MARS

Advanced Search


My Account