{"id":4383,"date":"2025-04-15T16:50:03","date_gmt":"2025-04-15T16:50:03","guid":{"rendered":"https:\/\/enactest-project.eu\/capsules-repository\/capsule-9-modeldefenders\/"},"modified":"2025-07-01T09:33:57","modified_gmt":"2025-07-01T09:33:57","slug":"capsule-9-modeldefenders","status":"publish","type":"page","link":"https:\/\/enactest-project.eu\/pt-pt\/capsules-repository\/capsule-9-modeldefenders\/","title":{"rendered":"Capsule 9 | ModelDefenders"},"content":{"rendered":"<style>.kb-row-layout-id_aede31-df > .kt-row-column-wrap{align-content:start;}:where(.kb-row-layout-id_aede31-df > .kt-row-column-wrap) > .wp-block-kadence-column{justify-content:start;}.kb-row-layout-id_aede31-df > .kt-row-column-wrap{column-gap:var(--global-kb-gap-md, 2rem);row-gap:var(--global-kb-gap-md, 2rem);max-width:var( --global-content-width, 1290px );padding-left:var(--global-content-edge-padding);padding-right:var(--global-content-edge-padding);padding-top:148px;padding-right:100px;padding-bottom:142px;padding-left:100px;grid-template-columns:minmax(0, 1fr);}.kb-row-layout-id_aede31-df{background-color:rgba(175,252,65,0.24);}.kb-row-layout-id_aede31-df > .kt-row-layout-overlay{opacity:0.10;mix-blend-mode:normal;}@media all and (max-width: 1024px){.kb-row-layout-id_aede31-df > .kt-row-column-wrap{padding-top:100px;padding-right:150px;padding-bottom:80px;padding-left:150px;grid-template-columns:minmax(0, 1fr);}}@media all and (max-width: 767px){.kb-row-layout-id_aede31-df > .kt-row-column-wrap{padding-top:100px;padding-right:20px;padding-bottom:40px;padding-left:20px;grid-template-columns:minmax(0, 1fr);}}<\/style><div class=\"kb-row-layout-wrap kb-row-layout-id_aede31-df alignnone kt-row-has-bg wp-block-kadence-rowlayout\"><div class=\"kt-row-column-wrap kt-has-1-columns kt-row-layout-equal kt-tab-layout-inherit kt-mobile-layout-row kt-row-valign-top kb-theme-content-width\">\n<style>.kadence-column_7e0ee4-2f{margin-right:40px;}.kadence-column_7e0ee4-2f > .kt-inside-inner-col{padding-right:0px;padding-left:0px;}.kadence-column_7e0ee4-2f > .kt-inside-inner-col,.kadence-column_7e0ee4-2f > .kt-inside-inner-col:before{border-top-left-radius:0px;border-top-right-radius:0px;border-bottom-right-radius:0px;border-bottom-left-radius:0px;}.kadence-column_7e0ee4-2f > .kt-inside-inner-col{justify-content:center;flex-direction:column;display:flex;}.kadence-column_7e0ee4-2f > .kt-inside-inner-col > .aligncenter{width:100%;}.kt-row-column-wrap > .kadence-column_7e0ee4-2f{align-self:center;}.kt-inner-column-height-full:not(.kt-has-1-columns) > .wp-block-kadence-column.kadence-column_7e0ee4-2f{align-self:auto;}.kt-inner-column-height-full:not(.kt-has-1-columns) > .wp-block-kadence-column.kadence-column_7e0ee4-2f > .kt-inside-inner-col{display:flex;flex-direction:column;justify-content:center;}.kadence-column_7e0ee4-2f > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_7e0ee4-2f{position:relative;}@media all and (max-width: 1024px){.kadence-column_7e0ee4-2f{margin-right:0px;margin-left:0px;}}@media all and (max-width: 767px){.kadence-column_7e0ee4-2f{margin-right:0px;margin-left:0px;}.kadence-column_7e0ee4-2f > .kt-inside-inner-col{padding-right:0px;padding-left:0px;}}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_7e0ee4-2f inner-column-1\"><div class=\"kt-inside-inner-col\"><style>.wp-block-kadence-advancedheading.kt-adv-heading_4c85b5-ef, .wp-block-kadence-advancedheading.kt-adv-heading_4c85b5-ef[data-kb-block=\"kb-adv-heading_4c85b5-ef\"]{padding-top:0px;padding-bottom:0px;margin-top:0px;margin-bottom:0px;text-align:center;line-height:85px;font-style:normal;text-transform:uppercase;}.wp-block-kadence-advancedheading.kt-adv-heading_4c85b5-ef mark, .wp-block-kadence-advancedheading.kt-adv-heading_4c85b5-ef[data-kb-block=\"kb-adv-heading_4c85b5-ef\"] mark{font-style:normal;color:#f76a0c;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;}@media all and (max-width: 1024px){.wp-block-kadence-advancedheading.kt-adv-heading_4c85b5-ef, .wp-block-kadence-advancedheading.kt-adv-heading_4c85b5-ef[data-kb-block=\"kb-adv-heading_4c85b5-ef\"]{font-size:60px;line-height:68px;text-align:center!important;}}@media all and (max-width: 767px){.wp-block-kadence-advancedheading.kt-adv-heading_4c85b5-ef, .wp-block-kadence-advancedheading.kt-adv-heading_4c85b5-ef[data-kb-block=\"kb-adv-heading_4c85b5-ef\"]{padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;margin-bottom:30px;font-size:50px;line-height:50px;text-align:center!important;}}<\/style>\n<p class=\"kt-adv-heading_4c85b5-ef wp-block-kadence-advancedheading has-theme-palette-4-color has-text-color\" data-kb-block=\"kb-adv-heading_4c85b5-ef\"><strong>Capsule 9<\/strong><\/p>\n\n\n<style>.wp-block-kadence-advancedheading.kt-adv-heading_f5d964-0f, .wp-block-kadence-advancedheading.kt-adv-heading_f5d964-0f[data-kb-block=\"kb-adv-heading_f5d964-0f\"]{padding-top:0px;padding-bottom:0px;margin-top:0px;margin-bottom:0px;text-align:center;line-height:85px;font-style:normal;}.wp-block-kadence-advancedheading.kt-adv-heading_f5d964-0f mark, .wp-block-kadence-advancedheading.kt-adv-heading_f5d964-0f[data-kb-block=\"kb-adv-heading_f5d964-0f\"] mark{font-style:normal;color:#f76a0c;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;}@media all and (max-width: 1024px){.wp-block-kadence-advancedheading.kt-adv-heading_f5d964-0f, .wp-block-kadence-advancedheading.kt-adv-heading_f5d964-0f[data-kb-block=\"kb-adv-heading_f5d964-0f\"]{font-size:60px;line-height:68px;text-align:center!important;}}@media all and (max-width: 767px){.wp-block-kadence-advancedheading.kt-adv-heading_f5d964-0f, .wp-block-kadence-advancedheading.kt-adv-heading_f5d964-0f[data-kb-block=\"kb-adv-heading_f5d964-0f\"]{padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;margin-bottom:30px;font-size:50px;line-height:50px;text-align:center!important;}}<\/style>\n<h1 class=\"kt-adv-heading_f5d964-0f wp-block-kadence-advancedheading has-theme-palette-3-color has-text-color\" data-kb-block=\"kb-adv-heading_f5d964-0f\">ModelDefenders <\/h1>\n<\/div><\/div>\n\n<\/div><\/div><style>.kb-row-layout-id_546344-6e > .kt-row-column-wrap{align-content:start;}:where(.kb-row-layout-id_546344-6e > .kt-row-column-wrap) > .wp-block-kadence-column{justify-content:start;}.kb-row-layout-id_546344-6e > .kt-row-column-wrap{column-gap:var(--global-kb-gap-md, 2rem);row-gap:var(--global-kb-gap-md, 2rem);max-width:var( --global-content-width, 1290px );padding-left:var(--global-content-edge-padding);padding-right:var(--global-content-edge-padding);padding-top:60px;padding-bottom:25px;grid-template-columns:minmax(0, 1fr);}.kb-row-layout-id_546344-6e > .kt-row-layout-overlay{opacity:0.30;}@media all and (max-width: 1024px){.kb-row-layout-id_546344-6e > .kt-row-column-wrap{grid-template-columns:minmax(0, 1fr);}}@media all and (max-width: 767px){.kb-row-layout-id_546344-6e > .kt-row-column-wrap{grid-template-columns:minmax(0, 1fr);}}<\/style><div class=\"kb-row-layout-wrap kb-row-layout-id_546344-6e alignnone wp-block-kadence-rowlayout\"><div class=\"kt-row-column-wrap kt-has-1-columns kt-row-layout-equal kt-tab-layout-inherit kt-mobile-layout-row kt-row-valign-top kb-theme-content-width\">\n<style>.kadence-column_a5458a-e1 > .kt-inside-inner-col{padding-top:20px;padding-right:20px;padding-bottom:20px;padding-left:20px;}.kadence-column_a5458a-e1 > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}.kadence-column_a5458a-e1 > .kt-inside-inner-col,.kadence-column_a5458a-e1 > .kt-inside-inner-col:before{border-top-left-radius:8px;border-top-right-radius:8px;border-bottom-right-radius:8px;border-bottom-left-radius:8px;}.kadence-column_a5458a-e1 > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_a5458a-e1{position:relative;}@media all and (max-width: 1024px){.kadence-column_a5458a-e1 > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}}@media all and (max-width: 767px){.kadence-column_a5458a-e1 > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_a5458a-e1 inner-column-1\"><div class=\"kt-inside-inner-col\"><style>.wp-block-kadence-advancedheading.kt-adv-heading_fcedd7-86, .wp-block-kadence-advancedheading.kt-adv-heading_fcedd7-86[data-kb-block=\"kb-adv-heading_fcedd7-86\"]{font-style:normal;}.wp-block-kadence-advancedheading.kt-adv-heading_fcedd7-86 mark, .wp-block-kadence-advancedheading.kt-adv-heading_fcedd7-86[data-kb-block=\"kb-adv-heading_fcedd7-86\"] mark{font-style:normal;color:#f76a0c;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;}<\/style>\n<h3 class=\"kt-adv-heading_fcedd7-86 wp-block-kadence-advancedheading\" data-kb-block=\"kb-adv-heading_fcedd7-86\"><strong>General<\/strong> <strong>Information about the Capsule<\/strong><\/h3>\n\n\n<style>.kb-row-layout-id_caf8d9-c4 > .kt-row-column-wrap{align-content:start;}:where(.kb-row-layout-id_caf8d9-c4 > .kt-row-column-wrap) > .wp-block-kadence-column{justify-content:start;}.kb-row-layout-id_caf8d9-c4 > .kt-row-column-wrap{column-gap:var(--global-kb-gap-md, 2rem);row-gap:var(--global-kb-gap-md, 2rem);padding-top:0px;padding-bottom:25px;grid-template-columns:repeat(2, minmax(0, 1fr));}.kb-row-layout-id_caf8d9-c4 > .kt-row-layout-overlay{opacity:0.30;}@media all and (max-width: 1024px){.kb-row-layout-id_caf8d9-c4 > .kt-row-column-wrap{grid-template-columns:repeat(2, minmax(0, 1fr));}}@media all and (max-width: 767px){.kb-row-layout-id_caf8d9-c4 > .kt-row-column-wrap{grid-template-columns:minmax(0, 1fr);}}<\/style><div class=\"kb-row-layout-wrap kb-row-layout-id_caf8d9-c4 alignnone wp-block-kadence-rowlayout\"><div class=\"kt-row-column-wrap kt-has-2-columns kt-row-layout-equal kt-tab-layout-inherit kt-mobile-layout-row kt-row-valign-top\">\n<style>.kadence-column_a1f953-0d > .kt-inside-inner-col,.kadence-column_a1f953-0d > .kt-inside-inner-col:before{border-top-left-radius:0px;border-top-right-radius:0px;border-bottom-right-radius:0px;border-bottom-left-radius:0px;}.kadence-column_a1f953-0d > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_a1f953-0d{position:relative;}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_a1f953-0d inner-column-1\"><div class=\"kt-inside-inner-col\">\n<p class=\"wp-block-paragraph\"><strong>Name:<\/strong> ModelDefenders <br\/><strong>Identifier:<\/strong> ENACTEST_ID_9<br\/><strong>Language:<\/strong> English<br\/><strong>Category: <\/strong>Serious Game <br\/><strong>Keywords:<\/strong> conceptual modelling, model-testing, finite state machine, class diagram, mutation testing <\/p>\n\n\n<style>.wp-block-kadence-advancedbtn.kb-btns_f21dc2-55{gap:var(--global-kb-gap-xs, 0.5rem );justify-content:flex-start;align-items:center;}.kt-btns_f21dc2-55 .kt-button{font-weight:normal;font-style:normal;}.kt-btns_f21dc2-55 .kt-btn-wrap-0{margin-right:5px;}.wp-block-kadence-advancedbtn.kt-btns_f21dc2-55 .kt-btn-wrap-0 .kt-button{color:#555555;border-color:#555555;}.wp-block-kadence-advancedbtn.kt-btns_f21dc2-55 .kt-btn-wrap-0 .kt-button:hover, .wp-block-kadence-advancedbtn.kt-btns_f21dc2-55 .kt-btn-wrap-0 .kt-button:focus{color:#ffffff;border-color:#444444;}.wp-block-kadence-advancedbtn.kt-btns_f21dc2-55 .kt-btn-wrap-0 .kt-button::before{display:none;}.wp-block-kadence-advancedbtn.kt-btns_f21dc2-55 .kt-btn-wrap-0 .kt-button:hover, .wp-block-kadence-advancedbtn.kt-btns_f21dc2-55 .kt-btn-wrap-0 .kt-button:focus{background:#444444;}<\/style>\n<div class=\"wp-block-kadence-advancedbtn kb-buttons-wrap kb-btns_f21dc2-55\"><style>.wp-block-kadence-advancedbtn .kb-btn_5427a8-19.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_5427a8-19.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}@media all and (max-width: 1024px){.wp-block-kadence-advancedbtn .kb-btn_5427a8-19.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}@media all and (max-width: 1024px){.wp-block-kadence-advancedbtn .kb-btn_5427a8-19.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}@media all and (max-width: 767px){.wp-block-kadence-advancedbtn .kb-btn_5427a8-19.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_5427a8-19.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}<\/style><a class=\"kb-button kt-button button kb-btn_5427a8-19 kt-btn-size-standard kt-btn-width-type-auto kb-btn-global-fill kt-btn-has-text-true kt-btn-has-svg-false wp-block-kadence-singlebtn\" href=\"https:\/\/merode.econ.kuleuven.be\/ModelDefenders.html \" target=\"_blank\" rel=\"noreferrer noopener\"><span class=\"kt-btn-inner-text\">Explore<\/span><\/a><\/div>\n<\/div><\/div>\n\n\n<style>.kadence-column_531f27-92 > .kt-inside-inner-col,.kadence-column_531f27-92 > .kt-inside-inner-col:before{border-top-left-radius:0px;border-top-right-radius:0px;border-bottom-right-radius:0px;border-bottom-left-radius:0px;}.kadence-column_531f27-92 > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_531f27-92{position:relative;}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_531f27-92 inner-column-2\"><div class=\"kt-inside-inner-col\">\n<p class=\"wp-block-paragraph\"><strong>Description:<\/strong><br\/>ModelDefenders is a two-player competitive game in which students are given a model under test (MUT). The students make mutants based on the original model and test cases for the original model. Similar to mutation testing, the test cases are run on the mutants. If a test case passes the mutant, the mutant is said to be dead. If a test case fails on the mutant, the mutant is said to be alive.     <\/p>\n<\/div><\/div>\n\n<\/div><\/div><\/div><\/div>\n\n<\/div><\/div><style>.kb-row-layout-id_543e5a-00 > .kt-row-column-wrap{align-content:start;}:where(.kb-row-layout-id_543e5a-00 > .kt-row-column-wrap) > .wp-block-kadence-column{justify-content:start;}.kb-row-layout-id_543e5a-00 > .kt-row-column-wrap{column-gap:var(--global-kb-gap-md, 2rem);row-gap:var(--global-kb-gap-md, 2rem);max-width:var( --global-content-width, 1290px );padding-left:var(--global-content-edge-padding);padding-right:var(--global-content-edge-padding);padding-top:0px;padding-bottom:25px;grid-template-columns:repeat(2, minmax(0, 1fr));}.kb-row-layout-id_543e5a-00 > .kt-row-layout-overlay{opacity:0.30;}@media all and (max-width: 1024px){.kb-row-layout-id_543e5a-00 > .kt-row-column-wrap{grid-template-columns:repeat(2, minmax(0, 1fr));}}@media all and (max-width: 767px){.kb-row-layout-id_543e5a-00 > .kt-row-column-wrap{grid-template-columns:minmax(0, 1fr);}}<\/style><div class=\"kb-row-layout-wrap kb-row-layout-id_543e5a-00 alignnone wp-block-kadence-rowlayout\"><div class=\"kt-row-column-wrap kt-has-2-columns kt-row-layout-equal kt-tab-layout-inherit kt-mobile-layout-row kt-row-valign-top kb-theme-content-width\">\n<style>.kadence-column_70fe70-8a > .kt-inside-inner-col{padding-top:20px;padding-right:20px;padding-bottom:20px;padding-left:20px;}.kadence-column_70fe70-8a > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}.kadence-column_70fe70-8a > .kt-inside-inner-col,.kadence-column_70fe70-8a > .kt-inside-inner-col:before{border-top-left-radius:8px;border-top-right-radius:8px;border-bottom-right-radius:8px;border-bottom-left-radius:8px;}.kadence-column_70fe70-8a > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_70fe70-8a{position:relative;}@media all and (max-width: 1024px){.kadence-column_70fe70-8a > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}}@media all and (max-width: 767px){.kadence-column_70fe70-8a > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_70fe70-8a inner-column-1\"><div class=\"kt-inside-inner-col\"><style>.wp-block-kadence-advancedheading.kt-adv-heading_8e4bcc-30, .wp-block-kadence-advancedheading.kt-adv-heading_8e4bcc-30[data-kb-block=\"kb-adv-heading_8e4bcc-30\"]{font-style:normal;}.wp-block-kadence-advancedheading.kt-adv-heading_8e4bcc-30 mark, .wp-block-kadence-advancedheading.kt-adv-heading_8e4bcc-30[data-kb-block=\"kb-adv-heading_8e4bcc-30\"] mark{font-style:normal;color:#f76a0c;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;}<\/style>\n<h3 class=\"kt-adv-heading_8e4bcc-30 wp-block-kadence-advancedheading\" data-kb-block=\"kb-adv-heading_8e4bcc-30\"><strong>Supporting Materials<\/strong><\/h3>\n\n\n<style>.wp-block-kadence-advancedbtn.kb-btns_e7e0e7-6e{gap:var(--global-kb-gap-xs, 0.5rem );justify-content:flex-start;align-items:center;}.kt-btns_e7e0e7-6e .kt-button{font-weight:normal;font-style:normal;}.kt-btns_e7e0e7-6e .kt-btn-wrap-0{margin-right:5px;}.wp-block-kadence-advancedbtn.kt-btns_e7e0e7-6e .kt-btn-wrap-0 .kt-button{color:#555555;border-color:#555555;}.wp-block-kadence-advancedbtn.kt-btns_e7e0e7-6e .kt-btn-wrap-0 .kt-button:hover, .wp-block-kadence-advancedbtn.kt-btns_e7e0e7-6e .kt-btn-wrap-0 .kt-button:focus{color:#ffffff;border-color:#444444;}.wp-block-kadence-advancedbtn.kt-btns_e7e0e7-6e .kt-btn-wrap-0 .kt-button::before{display:none;}.wp-block-kadence-advancedbtn.kt-btns_e7e0e7-6e .kt-btn-wrap-0 .kt-button:hover, .wp-block-kadence-advancedbtn.kt-btns_e7e0e7-6e .kt-btn-wrap-0 .kt-button:focus{background:#444444;}<\/style>\n<div class=\"wp-block-kadence-advancedbtn kb-buttons-wrap kb-btns_e7e0e7-6e\"><style>.wp-block-kadence-advancedbtn .kb-btn_c40696-4e.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_c40696-4e.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}@media all and (max-width: 1024px){.wp-block-kadence-advancedbtn .kb-btn_c40696-4e.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}@media all and (max-width: 1024px){.wp-block-kadence-advancedbtn .kb-btn_c40696-4e.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}@media all and (max-width: 767px){.wp-block-kadence-advancedbtn .kb-btn_c40696-4e.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_c40696-4e.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}<\/style><a class=\"kb-button kt-button button kb-btn_c40696-4e kt-btn-size-standard kt-btn-width-type-auto kb-btn-global-fill kt-btn-has-text-true kt-btn-has-svg-false wp-block-kadence-singlebtn\" href=\"https:\/\/enactest-project.eu\/wp-content\/uploads\/2025\/06\/ModelDefenders_poster.pdf\" target=\"_blank\" rel=\"noreferrer noopener\"><span class=\"kt-btn-inner-text\">Poster<\/span><\/a>\n\n<style>.wp-block-kadence-advancedbtn .kb-btn_c75c5a-a9.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_c75c5a-a9.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}@media all and (max-width: 1024px){.wp-block-kadence-advancedbtn .kb-btn_c75c5a-a9.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}@media all and (max-width: 1024px){.wp-block-kadence-advancedbtn .kb-btn_c75c5a-a9.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}@media all and (max-width: 767px){.wp-block-kadence-advancedbtn .kb-btn_c75c5a-a9.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_c75c5a-a9.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}<\/style><a class=\"kb-button kt-button button kb-btn_c75c5a-a9 kt-btn-size-standard kt-btn-width-type-auto kb-btn-global-fill kt-btn-has-text-true kt-btn-has-svg-false wp-block-kadence-singlebtn\" href=\"https:\/\/merode.econ.kuleuven.be\/ModelDefenders.html  \" target=\"_blank\" rel=\"noreferrer noopener\"><span class=\"kt-btn-inner-text\">GitHub<\/span><\/a><\/div>\n<\/div><\/div>\n\n\n<style>.kadence-column_75cc30-75 > .kt-inside-inner-col{padding-top:20px;padding-right:20px;padding-bottom:20px;padding-left:20px;}.kadence-column_75cc30-75 > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}.kadence-column_75cc30-75 > .kt-inside-inner-col,.kadence-column_75cc30-75 > .kt-inside-inner-col:before{border-top-left-radius:8px;border-top-right-radius:8px;border-bottom-right-radius:8px;border-bottom-left-radius:8px;}.kadence-column_75cc30-75 > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_75cc30-75{position:relative;}@media all and (max-width: 1024px){.kadence-column_75cc30-75 > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}}@media all and (max-width: 767px){.kadence-column_75cc30-75 > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_75cc30-75 inner-column-1\"><div class=\"kt-inside-inner-col\">\n<p class=\"wp-block-paragraph\"><strong>Cost:<\/strong> Free<br\/><strong>Copyright and Other Restrictions:<\/strong> Yes<br\/><strong>Description: <\/strong>Licensed for educational and research purposes.<\/p>\n<\/div><\/div>\n\n<\/div><\/div><style>.kb-row-layout-id_8b2552-8d > .kt-row-column-wrap{align-content:start;}:where(.kb-row-layout-id_8b2552-8d > .kt-row-column-wrap) > .wp-block-kadence-column{justify-content:start;}.kb-row-layout-id_8b2552-8d > .kt-row-column-wrap{column-gap:var(--global-kb-gap-md, 2rem);row-gap:var(--global-kb-gap-md, 2rem);max-width:var( --global-content-width, 1290px );padding-left:var(--global-content-edge-padding);padding-right:var(--global-content-edge-padding);padding-top:0px;padding-bottom:60px;grid-template-columns:minmax(0, 1fr);}.kb-row-layout-id_8b2552-8d > .kt-row-layout-overlay{opacity:0.30;}@media all and (max-width: 1024px){.kb-row-layout-id_8b2552-8d > .kt-row-column-wrap{grid-template-columns:minmax(0, 1fr);}}@media all and (max-width: 767px){.kb-row-layout-id_8b2552-8d > .kt-row-column-wrap{grid-template-columns:minmax(0, 1fr);}}<\/style><div class=\"kb-row-layout-wrap kb-row-layout-id_8b2552-8d alignnone wp-block-kadence-rowlayout\"><div class=\"kt-row-column-wrap kt-has-1-columns kt-row-layout-equal kt-tab-layout-inherit kt-mobile-layout-row kt-row-valign-top kb-theme-content-width\">\n<style>.kadence-column_0ac1bc-9a > .kt-inside-inner-col{padding-top:20px;padding-right:20px;padding-bottom:20px;padding-left:20px;}.kadence-column_0ac1bc-9a > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}.kadence-column_0ac1bc-9a > .kt-inside-inner-col,.kadence-column_0ac1bc-9a > .kt-inside-inner-col:before{border-top-left-radius:8px;border-top-right-radius:8px;border-bottom-right-radius:8px;border-bottom-left-radius:8px;}.kadence-column_0ac1bc-9a > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_0ac1bc-9a{position:relative;}@media all and (max-width: 1024px){.kadence-column_0ac1bc-9a > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}}@media all and (max-width: 767px){.kadence-column_0ac1bc-9a > .kt-inside-inner-col{border-top:1px solid var(--global-palette6, #718096);border-right:1px solid var(--global-palette6, #718096);border-bottom:1px solid var(--global-palette6, #718096);border-left:1px solid var(--global-palette6, #718096);}}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_0ac1bc-9a inner-column-1\"><div class=\"kt-inside-inner-col\"><style>.wp-block-kadence-advancedheading.kt-adv-heading_bc8433-e5, .wp-block-kadence-advancedheading.kt-adv-heading_bc8433-e5[data-kb-block=\"kb-adv-heading_bc8433-e5\"]{font-style:normal;}.wp-block-kadence-advancedheading.kt-adv-heading_bc8433-e5 mark, .wp-block-kadence-advancedheading.kt-adv-heading_bc8433-e5[data-kb-block=\"kb-adv-heading_bc8433-e5\"] mark{font-style:normal;color:#f76a0c;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;}<\/style>\n<h3 class=\"kt-adv-heading_bc8433-e5 wp-block-kadence-advancedheading\" data-kb-block=\"kb-adv-heading_bc8433-e5\">Educational<\/h3>\n\n\n<style>.kb-row-layout-id_81bc1e-2c > .kt-row-column-wrap{align-content:start;}:where(.kb-row-layout-id_81bc1e-2c > .kt-row-column-wrap) > .wp-block-kadence-column{justify-content:start;}.kb-row-layout-id_81bc1e-2c > .kt-row-column-wrap{column-gap:var(--global-kb-gap-md, 2rem);row-gap:var(--global-kb-gap-md, 2rem);padding-top:0px;padding-bottom:25px;grid-template-columns:repeat(2, minmax(0, 1fr));}.kb-row-layout-id_81bc1e-2c > .kt-row-layout-overlay{opacity:0.30;}@media all and (max-width: 1024px){.kb-row-layout-id_81bc1e-2c > .kt-row-column-wrap{grid-template-columns:repeat(2, minmax(0, 1fr));}}@media all and (max-width: 767px){.kb-row-layout-id_81bc1e-2c > .kt-row-column-wrap{grid-template-columns:minmax(0, 1fr);}}<\/style><div class=\"kb-row-layout-wrap kb-row-layout-id_81bc1e-2c alignnone wp-block-kadence-rowlayout\"><div class=\"kt-row-column-wrap kt-has-2-columns kt-row-layout-equal kt-tab-layout-inherit kt-mobile-layout-row kt-row-valign-top\">\n<style>.kadence-column_637d0c-a2 > .kt-inside-inner-col,.kadence-column_637d0c-a2 > .kt-inside-inner-col:before{border-top-left-radius:0px;border-top-right-radius:0px;border-bottom-right-radius:0px;border-bottom-left-radius:0px;}.kadence-column_637d0c-a2 > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_637d0c-a2{position:relative;}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_637d0c-a2 inner-column-1\"><div class=\"kt-inside-inner-col\">\n<p class=\"wp-block-paragraph\"><strong>Interactivity Type: <\/strong>Interactive<br\/><strong>Learning Resource Type: <\/strong>Serious game <br\/><strong>Interactivity Level:<\/strong> High <br\/><strong>Intended End-User Role: <\/strong>Learner (Master\u2019s students , final year Bachelor\u2019s students)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Context:<\/strong> Higher Education<br\/><strong>Typical Age Range:<\/strong> Adult learners (18+ years)<br\/><strong>Difficulty Level:<\/strong> Intermediate<br\/><strong>Description of Learning Objectives:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Learning how to adequately test a conceptual model <\/li>\n\n\n\n<li>Increasing model coverage. <\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><strong>Prerequisites<\/strong><\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Prior knowledge of UML class diagrams <\/li>\n<\/ul>\n<\/div><\/div>\n\n\n<style>.kadence-column_51eb46-df > .kt-inside-inner-col,.kadence-column_51eb46-df > .kt-inside-inner-col:before{border-top-left-radius:0px;border-top-right-radius:0px;border-bottom-right-radius:0px;border-bottom-left-radius:0px;}.kadence-column_51eb46-df > .kt-inside-inner-col:before{opacity:0.3;}.kadence-column_51eb46-df{position:relative;}<\/style>\n<div class=\"wp-block-kadence-column kadence-column_51eb46-df inner-column-2\"><div class=\"kt-inside-inner-col\">\n<div class=\"wp-block-group is-vertical is-layout-flex wp-container-core-group-is-layout-4fc3f8e1 wp-block-group-is-layout-flex\">\n<p class=\"wp-block-paragraph\"><strong>Classification of the Learning Objectives According to Bloom\u2019s Taxonomy<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Understand: Comprehend model coverage, model mutations and model test cases. <\/li>\n\n\n\n<li>Apply: Execute effective model tests. <\/li>\n\n\n\n<li>Analyze: Compare model mutation test outputs with expected outcomes. <\/li>\n\n\n\n<li>Evaluate<strong>:<\/strong> Assess test effectiveness of test cases. <\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Learning Sequence<br\/><\/strong>1. Students design a conceptual model or download a premade conceptual model. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">2.Students go to the website hosting the game. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">3.Students upload the model or use an already uploaded model.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">4.Students join a game. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">5.Student define a mutant based on the model under test<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">6.Students define a test case based on the model under test.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">7.The test cases are run against the mutants of the opponent <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">8.Feedback is provided about the liveness of the mutant. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">9.Students win points if they can kill a mutant and if they can define a mutant that survives a set of test cases. <\/p>\n<\/div>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Expected Consequences<\/strong><br\/>Students will develop skills in model-based testing.<\/p>\n\n\n<style>.wp-block-kadence-advancedheading.kt-adv-heading_8ca38a-92, .wp-block-kadence-advancedheading.kt-adv-heading_8ca38a-92[data-kb-block=\"kb-adv-heading_8ca38a-92\"]{font-style:normal;}.wp-block-kadence-advancedheading.kt-adv-heading_8ca38a-92 mark, .wp-block-kadence-advancedheading.kt-adv-heading_8ca38a-92[data-kb-block=\"kb-adv-heading_8ca38a-92\"] mark{font-style:normal;color:#f76a0c;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;}<\/style>\n<h5 class=\"kt-adv-heading_8ca38a-92 wp-block-kadence-advancedheading has-theme-palette-4-color has-text-color\" data-kb-block=\"kb-adv-heading_8ca38a-92\"><strong><strong>Meta-Metadata<\/strong><\/strong><\/h5>\n\n\n<style>.wp-block-kadence-advancedheading.kt-adv-heading_543bf6-50, .wp-block-kadence-advancedheading.kt-adv-heading_543bf6-50[data-kb-block=\"kb-adv-heading_543bf6-50\"]{font-style:normal;}.wp-block-kadence-advancedheading.kt-adv-heading_543bf6-50 mark, .wp-block-kadence-advancedheading.kt-adv-heading_543bf6-50[data-kb-block=\"kb-adv-heading_543bf6-50\"] mark{font-style:normal;color:#f76a0c;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px;}<\/style>\n<p class=\"kt-adv-heading_543bf6-50 wp-block-kadence-advancedheading\" data-kb-block=\"kb-adv-heading_543bf6-50\"><strong>Metadata Schema:<\/strong> IEEE LOM-based ARIADNE<br\/><strong>Language:<\/strong> English<\/p>\n\n\n<style>.wp-block-kadence-advancedbtn.kb-btns_c5187e-06{gap:var(--global-kb-gap-xs, 0.5rem );justify-content:flex-start;align-items:center;}.kt-btns_c5187e-06 .kt-button{font-weight:normal;font-style:normal;}.kt-btns_c5187e-06 .kt-btn-wrap-0{margin-right:5px;}.wp-block-kadence-advancedbtn.kt-btns_c5187e-06 .kt-btn-wrap-0 .kt-button{color:#555555;border-color:#555555;}.wp-block-kadence-advancedbtn.kt-btns_c5187e-06 .kt-btn-wrap-0 .kt-button:hover, .wp-block-kadence-advancedbtn.kt-btns_c5187e-06 .kt-btn-wrap-0 .kt-button:focus{color:#ffffff;border-color:#444444;}.wp-block-kadence-advancedbtn.kt-btns_c5187e-06 .kt-btn-wrap-0 .kt-button::before{display:none;}.wp-block-kadence-advancedbtn.kt-btns_c5187e-06 .kt-btn-wrap-0 .kt-button:hover, .wp-block-kadence-advancedbtn.kt-btns_c5187e-06 .kt-btn-wrap-0 .kt-button:focus{background:#444444;}<\/style>\n<div class=\"wp-block-kadence-advancedbtn kb-buttons-wrap kb-btns_c5187e-06\"><style>.wp-block-kadence-advancedbtn .kb-btn_2fa6b0-2a.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_2fa6b0-2a.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}@media all and (max-width: 1024px){.wp-block-kadence-advancedbtn .kb-btn_2fa6b0-2a.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}@media all and (max-width: 1024px){.wp-block-kadence-advancedbtn .kb-btn_2fa6b0-2a.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}@media all and (max-width: 767px){.wp-block-kadence-advancedbtn .kb-btn_2fa6b0-2a.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_2fa6b0-2a.kb-button:hover{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}}<\/style><a class=\"kb-button kt-button button kb-btn_2fa6b0-2a kt-btn-size-standard kt-btn-width-type-auto kb-btn-global-fill kt-btn-has-text-true kt-btn-has-svg-false wp-block-kadence-singlebtn\" href=\"https:\/\/enactest-project.eu\/wp-content\/uploads\/2025\/06\/Capsule9_ModelDefenders_Metadata1.pdf\" target=\"_blank\" rel=\"noreferrer noopener\"><span class=\"kt-btn-inner-text\">More information<\/span><\/a><\/div>\n<\/div><\/div>\n\n<\/div><\/div><\/div><\/div>\n\n<\/div><\/div>\n<p class=\"wp-block-paragraph\"><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Capsule 9 ModelDefenders General Information about the Capsule Name: ModelDefenders Identifier: ENACTEST_ID_9Language: EnglishCategory: Serious Game Keywords: conceptual modelling, model-testing, finite state machine, class diagram, mutation testing Description:ModelDefenders is a two-player competitive game in which students are given a model under test (MUT). The students make mutants based on the original model and test cases for&#8230;<\/p>\n","protected":false},"author":11,"featured_media":0,"parent":4347,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_kad_post_transparent":"","_kad_post_title":"hide","_kad_post_layout":"fullwidth","_kad_post_sidebar_id":"","_kad_post_content_style":"unboxed","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"footnotes":""},"class_list":["post-4383","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/pages\/4383","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/comments?post=4383"}],"version-history":[{"count":2,"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/pages\/4383\/revisions"}],"predecessor-version":[{"id":4402,"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/pages\/4383\/revisions\/4402"}],"up":[{"embeddable":true,"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/pages\/4347"}],"wp:attachment":[{"href":"https:\/\/enactest-project.eu\/pt-pt\/wp-json\/wp\/v2\/media?parent=4383"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}