CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '9133c93ffffe8bc9',cH: 'I3CAb1fExRO6AtKvAhYTY5EDZwWDS.FPGlf6Yt5x2Ug-1739774428-1.2.1.1-56HViKsL55aPwK6yc0RJ3la5cx7gh64mrp_BrepOlghsispYXcUliMIAb0R7Z68h',cUPMDTk: "\/10013549\/assertion-driven-test-repair-based-on-priority-criteria?__cf_chl_tk=WkZUQomj0WqrFsu7CeHAK6C.L7FgZxIRmD3MFozrN_s-1739774428-1.0.1.1-7IvlsOu1Dyop2gkVaQkQR0wofKmbtWS6xkSBSETqgsk",cFPWv: 'b',cITimeS: '1739774428',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/10013549\/assertion-driven-test-repair-based-on-priority-criteria?__cf_chl_f_tk=WkZUQomj0WqrFsu7CeHAK6C.L7FgZxIRmD3MFozrN_s-1739774428-1.0.1.1-7IvlsOu1Dyop2gkVaQkQR0wofKmbtWS6xkSBSETqgsk",md: "_q3rVJN_eGdcCNrdhg4okTWWVj3ySWPSsnx_2fUxXbs-1739774428-1.2.1.1-HjIpDKoQGtm7AJuSM4RU3Sa02_QbnB1egph_cxLoMRmMAzHH2J.AvRcndx7ULOeIiw_RBwR7qNeexBtroWHLIl0miXGbFsIQgRn1aojYoh2dClO.oHnZZGOwimTfWzYVeEpqURkFI3jMuYajq3O05Ym914yUpxNCtMHWovHIopQrDjlYfGxPkq_jn3OeH5dZsykFuVz8NPIxIUkGZOU.6mXfH_A9elJsdAvu_w_R8Ccyx3gWXzU1BRq5.WqsLfb.crZLBuRduoysftnOQsmhrYxC7TFB3NFQ_axb0EROk0rzRmk2bTq5oBHkAuqbuo47gMXi2clzoSS4da6WI97GiSsxAPzy6Wf7eEnbnrSfB5864vmjLK3fOXVDXUb9pLyUF77mzd6XP5zPv5flH9urJXD5Zu0tCiG21qvG1VRAlAEmAlAvqcutrQcLtkIWIcKZ8tAt_yS67vzdBDu.IGgzeEaDXS.rFRkuqV2yaxbGELQIIjVVjZmd.GrMxHqgs5SYfYqZRdcUkWBvD9QW979g8ekuFgSm2vb7T5FqeCut2LjTFTtzvp_f768UkHBdGkc3EDN19fyLMT0FA9mnnfyl06m5tRjrAZ7aH4veTSV08nNz4VA_a0B5rUpGuApk8Z5hLk6KBqZMxA_ZW_aRLKYqnPZuhFEQcPYxPbVq.i1RyL9tfHx0Zoflz8Sm2zrxENPOoQNHmrLEAtb5NhsXC2MaEWv8twaMWpe3mZGlKfNyn0lKiY4ZnVxA2c4nu1iXwkS2IqL9FDmKzqmZO7yzFb8Bs8kA8T.Iqh3kx2JHbhAvpdtxtpXRCV7cfSuA8KL8aBcuoo2MlaaagPuclApgQWK6qk6WSHisyLGRR5WEO3K7RXiB9.EBMuNRZ1qpLzkOWX_M8c4vac15eYNWxfkTpHhhr_2b6WBEdussaRHCs6VBxDzbSHx4o0Vywq27sN5kbinE5L7ie3lZoNbJEeGtYSrnKCow1Xx2y9yJLfjS7OS5LTPEZH27CoHreVJfLKozgVUtyU4Gm70UJbXD.LHmr9Pj8a6obWu9QYzks908havf0FKCiZFZLKUtYikJo8CE454Jmq7UifAdBOdwn82dZS0Nt7dqe0nxcyDgiUxrAOKVgrY.o9pE6QkmsukUM9CdGpc4fAbRVD4M_2OvA1NjLUtTzPEsmIODwWofLQaFIgcm_uDFbIRfOQwJn8Kkov5p4u0lrk_jkmhURc4HE.3oC.kuhZp8jD6Zy9xsn073X3Kg_VKOd7cIW.wp_FEC.kGNP7tuM0Pb84870Vmz8OYPbOgUaZS6oH_2Yu.HzcPQ2SHz_Nn9he7aA5wH1k0krCU_jaePDQG6_zL9vmzdWaW62FrH09bMjrKep5tfiqe9hkWLwLrBEZVIn_Cf0h0AOZEos_hdirKVEG.gtIIqtq6.2jWdZDZQ48vadYgxVzsrIi6ptS7ZMc6PlxIRb5bjNCM_pxux3.2CFnCwm5JdFyJpnBmXf_E3m8d.PJb19ccVZLpf70n9ZddodSLAcJPMaPduLFmq6tmpe6hvOyYoFo6jq18hReBbZhunQzm1qwguB9e8mcexFqLBd0V79KSh_FOTo1pMrOTbCP335jHWILSj8YPMUnpXUSTK4e_Ox3zEgEVrlLCjoSESLISE3DV3xbzA9uqje9Z_WGcnqls62zyayeabiqOLb2ucv.NyEVSAyCQewOtli_PbMpWAuXCqBLjrCEGJJtFaXho6A5V57Wve68jycnS7HqaK3X7eqEB4N4ZkiZbD.Efq9mq4kI79Tw1cnfXfEJ3qt6DG8n9s90zJwCWAwXRL52WFIgyAA2cVaTFZrOuKHl4FyLwa05Pqg1M4jZ0lOubUk4vR.Jlyn_BWl1pNTPBMDW14hMuecYIQZXw1avI4ktv_hqcUMq1b6g.doJ9tshROEmXKHu2BfuAlK8Dji5j1FjCEf1SP9knB7CMjMLc.xWtKjtJDJzkl0FP_Rg7oX1K6A8ZBIxtcXVxK3lS4BW3QbbjlIG5J4AZLxIfx50HC7v7B0NujSr.u88G3_NKh",mdrd: "EJ4oM9PWlu3jjgEFA2.wiLksnvyCCDC3ymQBi2QHDU4-1739774428-1.2.1.1-.gdlIa1NIyU6_CKB7RVEWGw8KhQfSrPyYiCWrLA1NTFRWEwQu6Iay1y1ETQX6yQjMcsS5lmuuV2OVuTjn6CJn0O9U5flL4C79UvWo.ZexLh6GQJcCevDFrudFzVi0sE6wDx.whgUgta4GG4Kw0.pwC2JuZ6uGfRhdl5IhoMNBJlTamOwzj9K3vqkCFnEWrhb1gcGp5g750kycYfqRXIcAYGNno4Nnj9KOeGdF41sjPoOz7fOw6WJIdlni06cXUTBtU7O2.dVrI6x40ZE6dZZRyqfn4BhdxX_3KI3PYrWT6HlGEFHxvTY_RubHuPC_SKszP5uZ7m5Wds3HeoBu0hpvmbZFPrQ1H9LoLPK4vWKcV4SWo7miBYLSApV12spwe7eAHaR8zpqaQo7sWwtN.TK1O2z_M1MfSCSsGlhWbUb6bRxHad1OCwVSbRCkLKSPPSnh.cEvDR5Rqnju91V0hyrap42MRvTF3AU25Ml_1nfY4uUSf2NTWdGaeDQNcylXRIsS_9mvG4nhWG5Yi22.83.yiqhQ6JdxisOAgcbkdehd75KPr9Ax5r9KtHTC8LXUd6ttXpc9rs3rPpQ2hvx5uKH7mc52.cks_4FcTpWXZD4JkjMR5hLMMLxM.aGYxXM4Y8ITuARMEk8.o8brqO6erBfsjB3PPGz_4T53XyBkRpNTFSqi4ciBud.e_UVfeoa5VQZoksRMeQx4fiZJKS.fC_TBPIhTzvKWqJF48YOxZJa6P.hLZMVo9nb.gAfVWj7GAMO9inlG3.Z9fwG1_TArmytn3j5BsLmQC8rzJng9kk9yNqLYztR5QLVWKebmaVKrrfF81t95YGTNCLyE0oZVHeeltnlPLL.UEI2SamAH4FLiPYu4_AkDdX6urb4i3FX7kGLXQcIcR.rMdIMM9WAf7G4JnX7VngYZS7_ovPTojennKDhWPhpxFqr6PIA4jUs4rKW5p4J0KKYVxs3KqQg0SJr7gxPmspyxsJw72QmHYVuWdUi0E2HwCAGt7OdrvfGmc6xIbbVi6FrD5d3M01n.N6SwNcAHK5Wzl4vWXu0kEq256j6JZ2ZdHFxhwZHB76vDvwJ2IXxDc73N28Q4fWN92Q.blulzsT15oAzY62bHCTJA77FZCq.6UyfWSXxcHNUJoNX19OihRvY3Xa6uWaIKwdidmrDjPiWgH8cKaRS.CTLabnRinHIxvVDH7cNBahIMEtkVMVBC9HzzdAIZYIotF6fz.pcTWUyezMKoWPdBuzrpDSStdOq8NyY_MdK590FpHUd6f9fua6xKjIwPqYZhCXHCns_gJt7yXV3wVUwQCOH9W9gGpk.8TzsVJD8G_fFLnel5B0cymm6d2BdL7KLLqmoNBt6ou9uBZXUTFAuffc_1LVB9rgcg1vVwj.Cs1T.baRwHMU8aawMD4VuuQEugkLuxJWE8XTAmVrgMFHvblFZCdNJYfZ8sJEmQ77kT2JFMEcLYU3eY4ibjS1qIejbFuFG08xJDF7fAzmr1Chs2k46uKIHiZ5y9TGx8K9ajYgUE75cZY7YlM79PgI9rKeOhfhF2zkmtMyYxK6ELPEXEDZ3xioHmD8bWIhU4HjK3S9uXVUoNuRl.Em7Lzys0HdSkkgXljk.6HFyI4oijgvmDFSbzLf8Zw0jOV.KDEi7.EyLN0y1rF4NdP6943XOnJIBRxCwqihU6SAjAotMXo.Ga9TJEpN5ijwo3vAIh.JWWBdHZJMdsTfpBPcx.hk5Ie2bfmZ_iSxzIWA_m7.g9lAcvP1ohHvNXsbgGwWO.T74TY.HiaQYFAhdtiRD0JiReIo.nbPvB.WTdjZuubT1GI6lxkYMOtQgCQkYEQNFO0ca0BYqZUsDeg6zgwEggLFlemTLhRs7fRK1nQafGEnQosWvHhuovc2zRXCRuP04YmpRTswhkcgkBqQ6oLI4J2eMALAHpxUsIoDZE792F_VjphlPNtKYla75idBKrJpNExVxxUO5GDARQz50PsTvlWqX295ThOcrPAC3_MULueUauOu1MWGaotI"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9133c93ffffe8bc9';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/10013549\/assertion-driven-test-repair-based-on-priority-criteria?__cf_chl_rt_tk=WkZUQomj0WqrFsu7CeHAK6C.L7FgZxIRmD3MFozrN_s-1739774428-1.0.1.1-7IvlsOu1Dyop2gkVaQkQR0wofKmbtWS6xkSBSETqgsk" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>