Offutt, JeffLi, Nan2014-09-182014-09-182014-05https://hdl.handle.net/1920/8921In 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.196 pagesenCopyright 2014 Nan LiComputer scienceModel-based TestingSoftware engineeringSoftware TestingTest AutomationTest GenerationTest OraclesDissertation