{"id":{"repo_id":"gmu","oai_identifier":"oai:MARS:1920/8921"},"canonical_url":"https://search.dev.ndltd.org/etd/gmu/oai:MARS:1920/8921","repository":{"repo_id":"gmu","name":"George Mason University","base_url":"https://mars.gmu.edu/server/oai/request"},"display":{"title":"Generating Cost-effective Criteria-based Tests from Behavioral Models","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.","abstract_html":"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.","abstract_has_math":false,"creators":["Li, Nan"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-05","date_published":"2014-05","updated_at":"2026-07-27T19:52:02Z","subjects":["Computer science","Model-based Testing","Software engineering","Software Testing","Test Automation","Test Generation","Test Oracles"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["hdl:1920/8921"],"render_values":[{"text":"hdl:1920/8921","href":null,"code":true}]}]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2014-05"]},{"key":"dc:type","label":"Dc Type","values":["Dissertation"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer science","Model-based Testing","Software engineering","Software Testing","Test Automation","Test Generation","Test Oracles"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["hdl:1920/8921"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.other","label":"Dc Description Other","values":["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."]},{"key":"dc:title","label":"Title","values":["Generating Cost-effective Criteria-based Tests from Behavioral Models"]}]}],"canonical_facts":{"dc:date.issued":["2014-05"],"dc:description.other":["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:identifier":["hdl:1920/8921"],"dc:subject":["Computer science","Model-based Testing","Software engineering","Software Testing","Test Automation","Test Generation","Test Oracles"],"dc:title":["Generating Cost-effective Criteria-based Tests from Behavioral Models"],"dc:type":["Dissertation"]},"updated_at":"2026-07-27T19:52:02Z"}