{"id":4553,"date":"2025-04-15T16:36:18","date_gmt":"2025-04-15T16:36:18","guid":{"rendered":"https:\/\/enactest-project.eu\/capsules-repository\/capsule-4-frafol\/"},"modified":"2025-07-02T15:17:57","modified_gmt":"2025-07-02T15:17:57","slug":"capsule-4-frafol","status":"publish","type":"page","link":"https:\/\/enactest-project.eu\/nl\/capsules-repository\/capsule-4-frafol\/","title":{"rendered":"Capsule 4 | FRAFOL"},"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 4<\/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\">FRAFOL &#8211; FRAmework FOr Learning mutation testing <\/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> FRAFOL <br\/><strong>Identifier:<\/strong> ENACTEST_ID_4<br\/><strong>Language:<\/strong> English<br\/><strong>Category: <\/strong>Learning Environment <br\/><strong>Keywords:<\/strong> Mutation Testing, Software Testing, PIT, Major <\/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:\/\/github.com\/apaivafeup\/projFRAFOL \" 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\/>FRAFOL is a teaching tool that integrates the PIT and Major mutation testing tools into a unified and user-friendly environment. These tools were chosen for their widespread use and complementary features (source code vs. bytecode mutations). FRAFOL\u2019s WebGUI and Docker-based deployment streamline usability and accessibility, making it ideal for teaching and learning mutation testing. Built as an extension of Defects4J, a repository of reproducible Java bugs, FRAFOL provides access to realistic projects and facilitates analysis and testing.    <\/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\/frafol_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_685233-5e.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_685233-5e.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_685233-5e.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_685233-5e.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_685233-5e.kb-button{border-top-style:solid;border-right-style:solid;border-bottom-style:solid;border-left-style:solid;}.wp-block-kadence-advancedbtn .kb-btn_685233-5e.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_685233-5e 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:\/\/youtu.be\/rLZX0p5fOHc \" target=\"_blank\" rel=\"noreferrer noopener\"><span class=\"kt-btn-inner-text\">Video<\/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:\/\/github.com\/apaivafeup\/projFRAFOL \" 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>Teaching material with accompanying software<br\/><strong>Interactivity Level:<\/strong> High <br\/><strong>Intended End-User Role: <\/strong>Learner (Bachelor AND Master 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> Advanced<br\/><strong>Description of Learning Objectives:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Learning how to generate tests from UML state machines<\/li>\n\n\n\n<li>Coverage criteria<\/li>\n\n\n\n<li>Mutation testing<\/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>Familiarity with Java programming language\u202fand Junit <\/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<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 mutation testing concepts <\/li>\n\n\n\n<li>Apply: Write unit test cases to kill generated mutants <\/li>\n\n\n\n<li>Analyze: Analyse code and build test cases to kill mutants <\/li>\n\n\n\n<li>Evaluate<strong>:<\/strong> Assess test effectiveness using metrics like mutation score <\/li>\n<\/ul>\n\n\n\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>Learning Sequence<br\/><\/strong>1. Analyse code coverage<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">2.Generate mutants (with different tools)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">3. Write test cases to kill live mutants<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u202f\u00a0\u00a0<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Expected Consequences<\/strong><br\/>1. Reason about the quality of mutants <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">2. Understand the differences between code coverage and mutation coverage<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">3.\u202f Be aware of the differences between mutation testing tools<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><strong>Meta-Metadata<\/strong><\/strong><\/p>\n\n\n<style>.wp-block-kadence-advancedheading.kt-adv-heading_1935e0-c5, .wp-block-kadence-advancedheading.kt-adv-heading_1935e0-c5[data-kb-block=\"kb-adv-heading_1935e0-c5\"]{font-style:normal;}.wp-block-kadence-advancedheading.kt-adv-heading_1935e0-c5 mark, .wp-block-kadence-advancedheading.kt-adv-heading_1935e0-c5[data-kb-block=\"kb-adv-heading_1935e0-c5\"] 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_1935e0-c5 wp-block-kadence-advancedheading\" data-kb-block=\"kb-adv-heading_1935e0-c5\"><strong>Metadata Schema:<\/strong> IEEE LOM-based ARIADNE<br\/><strong>Language:<\/strong> English<\/p>\n<\/div>\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\/Capsule_4_FRAFOL_Metadata.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 4 FRAFOL &#8211; FRAmework FOr Learning mutation testing General Information about the Capsule Name: FRAFOL Identifier: ENACTEST_ID_4Language: EnglishCategory: Learning Environment Keywords: Mutation Testing, Software Testing, PIT, Major Description:FRAFOL is a teaching tool that integrates the PIT and Major mutation testing tools into a unified and user-friendly environment. These tools were chosen for their widespread&#8230;<\/p>\n","protected":false},"author":11,"featured_media":0,"parent":4529,"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-4553","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/pages\/4553","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/comments?post=4553"}],"version-history":[{"count":2,"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/pages\/4553\/revisions"}],"predecessor-version":[{"id":4580,"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/pages\/4553\/revisions\/4580"}],"up":[{"embeddable":true,"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/pages\/4529"}],"wp:attachment":[{"href":"https:\/\/enactest-project.eu\/nl\/wp-json\/wp\/v2\/media?parent=4553"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}