ddiruscio/logseq
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
master
logseq/assets/SOSYM-23-00004493_Proof_hi_1692636004494_0.edn
T
ddiruscio 97fba407ce Major2
2025-06-05 22:07:12 +02:00

4950 lines
277 KiB
Clojure
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
{:highlights [{:id #uuid "64ee16b0-af4b-49d3-b610-0e794e42ed23",
:page 2,
:position {:bounding {:x1 0,
:y1 594.5357141494751,
:x2 827.5565795898438,
:y2 1025.7645349502563,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 542.4082641601562,
:y1 594.5357141494751,
:x2 827.5565795898438,
:y2 611.5151453018188,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 151.29122924804688,
:y1 612.9187097549438,
:x2 658.1880493164062,
:y2 629.8980798721313,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1006.5943078994751,
:x2 0,
:y2 1025.7645349502563,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 2},
:content {:text "This easily leads to syntactic and semantic errors in transformations which are time-consuming to locate and fix. "},
:properties {:color "purple"}}
{:id #uuid "64ee16be-1627-4a5a-9d9f-1ddadf7d0ad3",
:page 2,
:position {:bounding {:x1 0,
:y1 631.1561365127563,
:x2 827.5914306640625,
:y2 1057.7721033096313,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 178.41726684570312,
:y1 631.1561365127563,
:x2 827.5914306640625,
:y2 648.1355066299438,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 151.29122924804688,
:y1 649.5390710830688,
:x2 264.4613342285156,
:y2 666.5184412002563,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1038.6018152236938,
:x2 0,
:y2 1057.7721033096313,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 2},
:content {:text "evolutionary algorithm (EA) approach to automatically repair transformations containing many semantic errors. "},
:properties {:color "purple"}}
{:id #uuid "64ee16d2-ad2f-48ea-810a-9dba3b9e4a4d",
:page 2,
:position {:bounding {:x1 0,
:y1 649.5390710830688,
:x2 827.57666015625,
:y2 1089.7796716690063,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 264.4522399902344,
:y1 649.5390710830688,
:x2 827.57666015625,
:y2 666.5184412002563,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 151.29122924804688,
:y1 667.9220056533813,
:x2 826.7796020507812,
:y2 684.9014368057251,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 151.29122924804688,
:y1 686.1594324111938,
:x2 740.0099792480469,
:y2 703.1388635635376,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1054.6055994033813,
:x2 0,
:y2 1073.7758874893188,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1070.6093835830688,
:x2 0,
:y2 1089.7796716690063,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 2},
:content {:text "To prevent the fitness plateaus and the single fitness peak limitations from our previous work, we include the notion of social diversity as an objective for our EA to promote repair patches tackling errors that are less covered by the other patches of the population. "},
:properties {:color "purple"}}
{:id #uuid "64ee1700-8041-446e-b39d-bfbf97fc6e92",
:page 2,
:position {:bounding {:x1 0,
:y1 964.5480346679688,
:x2 470.4718017578125,
:y2 1297.82861328125,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 235.35931396484375,
:y1 964.5480346679688,
:x2 470.4718017578125,
:y2 982.6228637695312,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51287841796875,
:y1 984.471435546875,
:x2 470.4595947265625,
:y2 1002.5462646484375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51287841796875,
:y1 1004.53173828125,
:x2 470.4710693359375,
:y2 1022.6066284179688,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51287841796875,
:y1 1024.4551391601562,
:x2 173.39630126953125,
:y2 1042.530029296875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1246.6508178710938,
:x2 0,
:y2 1265.8211059570312,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1262.6546020507812,
:x2 0,
:y2 1281.8248901367188,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1278.6583251953125,
:x2 0,
:y2 1297.82861328125,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 2},
:content {:text "n this context, MDE sees models as first-class artifacts where domain-specific modeling languages to capture specific aspects of the solution."},
:properties {:color "red"}}
{:id #uuid "64ee1761-2a83-4564-9002-a1144dd14f1b",
:page 2,
:position {:bounding {:x1 266.32574462890625,
:y1 1124.5001220703125,
:x2 275.20904541015625,
:y2 1142.574951171875,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 266.32574462890625,
:y1 1124.5001220703125,
:x2 275.20904541015625,
:y2 1142.574951171875,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 2},
:content {:text "l."},
:properties {:color "red"}}
{:id #uuid "64ee17ae-8038-42f9-8cb7-4e2317e9a6e4",
:page 3,
:position {:bounding {:x1 0,
:y1 464.7426223754883,
:x2 483.80596923828125,
:y2 1153.7946853637695,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 249.01693725585938,
:y1 464.7426223754883,
:x2 483.77813720703125,
:y2 482.8174514770508,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70956420898438,
:y1 484.81153106689453,
:x2 483.6693115234375,
:y2 502.88636016845703,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70956420898438,
:y1 504.7349319458008,
:x2 483.80596923828125,
:y2 522.8097610473633,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70956420898438,
:y1 524.7952346801758,
:x2 402.08306884765625,
:y2 542.8701248168945,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1102.6169509887695,
:x2 0,
:y2 1121.787239074707,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1118.6206130981445,
:x2 0,
:y2 1137.790901184082,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1134.624397277832,
:x2 0,
:y2 1153.7946853637695,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 3},
:content {:text "when the transformation compiles but the implemented behavior is not the one that was intended by the developers, we say that it contains semantic errors."},
:properties {:color "blue"}}
{:id #uuid "64ee17c5-8cf4-4236-953b-bc7fbd65c099",
:page 3,
:position {:bounding {:x1 0,
:y1 604.7798538208008,
:x2 483.67205810546875,
:y2 1265.8210525512695,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 124.70956420898438,
:y1 604.7798538208008,
:x2 483.66986083984375,
:y2 622.8546829223633,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70956420898438,
:y1 624.703254699707,
:x2 483.671142578125,
:y2 642.7781448364258,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70956420898438,
:y1 644.7721633911133,
:x2 483.67205810546875,
:y2 662.8469924926758,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70956420898438,
:y1 664.6955642700195,
:x2 347.89324951171875,
:y2 682.7704544067383,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1214.6433181762695,
:x2 0,
:y2 1233.813606262207,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1230.647102355957,
:x2 0,
:y2 1249.8173904418945,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1246.650764465332,
:x2 0,
:y2 1265.8210525512695,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 3},
:content {:text "Because semantic errors pertain to the transformation’s behavior and each faulty transformation needs tailored patches, predefined patches are not well-suited for semantic errors."},
:properties {:color "blue"}}
{:id #uuid "64ee1ae5-2d5a-4958-ba91-de31fb6b2039",
:page 3,
:position {:bounding {:x1 0,
:y1 124.76093673706055,
:x2 880.5082397460938,
:y2 1681.9191551208496,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 592.1968994140625,
:y1 124.76093673706055,
:x2 880.2131958007812,
:y2 142.8357810974121,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5516967773438,
:y1 144.6843376159668,
:x2 880.5082397460938,
:y2 162.75918197631836,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5516967773438,
:y1 164.75324630737305,
:x2 880.5043334960938,
:y2 182.8280906677246,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5516967773438,
:y1 184.81357955932617,
:x2 880.5029907226562,
:y2 202.88842391967773,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5516967773438,
:y1 204.74554061889648,
:x2 850.2217407226562,
:y2 222.82038497924805,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1614.7375144958496,
:x2 0,
:y2 1633.907802581787,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1630.741298675537,
:x2 0,
:y2 1649.9115867614746,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1646.7450828552246,
:x2 0,
:y2 1665.915370941162,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1662.748867034912,
:x2 0,
:y2 1681.9191551208496,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 3},
:content {:text "o fix errors related to a transformation’s behavior, automated approaches usually rely on a specification of the expected behavior (e.g., test cases or examples) to assess the fitness of a patch, and thus efficiently guide the search strategy."},
:properties {:color "purple"}}
{:id #uuid "64ee1b0a-3320-47f4-8e0e-559ef6024ffc",
:page 25,
:position {:bounding {:x1 0,
:y1 921.0468738675117,
:x2 482.73719787597656,
:y2 1409.855040371418,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 280.6309051513672,
:y1 921.0468738675117,
:x2 482.73719787597656,
:y2 939.1217029690742,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 158.8310089111328,
:y1 940.970274746418,
:x2 482.00831604003906,
:y2 959.0451038479805,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 158.8310089111328,
:y1 961.0391834378242,
:x2 258.10557556152344,
:y2 979.1140125393867,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1374.680968105793,
:x2 0,
:y2 1393.8512561917305,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1390.6847522854805,
:x2 0,
:y2 1409.855040371418,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 25},
:content {:text "utomated patch generation for fixing semantic errors in ATL transformation rules."},
:properties {:color "green"}}
{:id #uuid "64eeefb2-14e6-4759-8d50-a309b2b7e88d",
:page 3,
:position {:bounding {:x1 0,
:y1 247.85302734375,
:x2 824.3888139724731,
:y2 1793.9454345703125,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 571.1409502029419,
:y1 247.85302734375,
:x2 824.1064043045044,
:y2 265.380126953125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 266.50982666015625,
:x2 824.3838701248169,
:y2 284.03692626953125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 285.29498291015625,
:x2 824.3819780349731,
:y2 302.8221435546875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 303.9517822265625,
:x2 824.3888139724731,
:y2 321.47894287109375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 322.7369384765625,
:x2 697.5094194412231,
:y2 340.26409912109375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1726.7637939453125,
:x2 0,
:y2 1745.9342041015625,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1742.7677001953125,
:x2 0,
:y2 1761.9378662109375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1758.7713623046875,
:x2 0,
:y2 1777.9417724609375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1774.7752685546875,
:x2 0,
:y2 1793.9454345703125,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 3},
:content {:text "This approach usually finds patches to correct transformations having fewer errors, but in the presence of more errors, the approach cannot find a solution or will take too long to converge toward suitable patches"},
:properties {:color "yellow"}}
{:id #uuid "64eef00f-1c9d-4a1d-ad79-e9969b7388bc",
:page 3,
:position {:bounding {:x1 0,
:y1 435.0543212890625,
:x2 824.3893632888794,
:y2 1937.9793701171875,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 665.6611528396606,
:y1 435.0543212890625,
:x2 824.3847246170044,
:y2 452.58148193359375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 453.84808349609375,
:x2 824.3893632888794,
:y2 471.37518310546875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 472.49627685546875,
:x2 824.3860063552856,
:y2 490.0234375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 491.2900390625,
:x2 715.4295854568481,
:y2 508.817138671875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1886.8016357421875,
:x2 0,
:y2 1905.9718017578125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1902.8052978515625,
:x2 0,
:y2 1921.9757080078125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1918.8092041015625,
:x2 0,
:y2 1937.9793701171875,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 3},
:content {:text "EAs are known to give more power to good solutions, which can cause converging issues due to loss of diversity, a problem known as single fitness peak."},
:properties {:color "blue"}}
{:id #uuid "64eef01c-b908-4377-944c-45ddfad615fe",
:page 3,
:position {:bounding {:x1 0,
:y1 491.2900390625,
:x2 824.4990434646606,
:y2 1969.9869384765625,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 731.1208696365356,
:y1 491.2900390625,
:x2 824.4990434646606,
:y2 508.817138671875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 509.93829345703125,
:x2 824.3944292068481,
:y2 527.4653930664062,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 528.7234497070312,
:x2 757.6768388748169,
:y2 546.2505493164062,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1934.8128662109375,
:x2 0,
:y2 1953.9832763671875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1950.8167724609375,
:x2 0,
:y2 1969.9869384765625,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 3},
:content {:text "sing behavior specifications such as test cases to guide the search in EAs can exacerbate these limitations"},
:properties {:color "blue"}}
{:id #uuid "64eef044-1fcd-4094-a953-f832ba08adb1",
:page 3,
:position {:bounding {:x1 0,
:y1 651.8241004943848,
:x2 824.4868364334106,
:y2 2098.0172157287598,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 656.0269365310669,
:y1 651.8241004943848,
:x2 824.3875932693481,
:y2 669.3512001037598,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 670.6092567443848,
:x2 824.4868364334106,
:y2 688.136417388916,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 689.266056060791,
:x2 824.4815263748169,
:y2 706.7932167053223,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 708.0512733459473,
:x2 577.7063188552856,
:y2 725.5783729553223,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2046.8392372131348,
:x2 0,
:y2 2066.0096473693848,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2062.8431434631348,
:x2 0,
:y2 2082.0133094787598,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2078.8468055725098,
:x2 0,
:y2 2098.0172157287598,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 3},
:content {:text "o improve the efficiency and effectiveness of EAs using test cases, our improved approach leverages the notion of social diversity [4]. "},
:properties {:color "blue"}}
{:id #uuid "64eef068-367d-4ffe-b559-70822646ff3b",
:page 3,
:position {:bounding {:x1 0,
:y1 745.4932289123535,
:x2 824.3888750076294,
:y2 2194.0396766662598,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 672.5067338943481,
:y1 745.4932289123535,
:x2 824.3752031326294,
:y2 763.0203285217285,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 764.2783851623535,
:x2 824.3878984451294,
:y2 781.8054847717285,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 782.9351844787598,
:x2 824.3888750076294,
:y2 800.462345123291,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 801.7203407287598,
:x2 824.3790483474731,
:y2 819.247501373291,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 820.377140045166,
:x2 741.2075395584106,
:y2 837.9043006896973,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2126.8580360412598,
:x2 0,
:y2 2146.0284461975098,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2142.8619422912598,
:x2 0,
:y2 2162.0321083068848,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2158.8656044006348,
:x2 0,
:y2 2178.0360145568848,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2174.8695106506348,
:x2 0,
:y2 2194.0396766662598,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 3},
:content {:text "Our hypothesis is that including this measure in the process will maintain or improve the diversity of the patches, thereby reducing the negative impact on convergence of single fitness peak and fitness plateau"},
:properties {:color "yellow"}}
{:id #uuid "64eef09c-7959-4d17-9aaf-d372f7b1d44c",
:page 3,
:position {:bounding {:x1 0,
:y1 839.1623573303223,
:x2 824.4605302810669,
:y2 2290.0623817443848,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 642.1064653396606,
:y1 839.1623573303223,
:x2 824.3758745193481,
:y2 856.6894569396973,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 857.8191566467285,
:x2 824.4605302810669,
:y2 875.3462562561035,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 876.6043128967285,
:x2 824.4419145584106,
:y2 894.1314125061035,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 895.2611122131348,
:x2 824.3780107498169,
:y2 912.7882118225098,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 914.0462684631348,
:x2 824.3877153396606,
:y2 931.573429107666,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 932.703067779541,
:x2 675.8607988357544,
:y2 950.2302284240723,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2206.8770790100098,
:x2 0,
:y2 2226.0472450256348,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2222.8807411193848,
:x2 0,
:y2 2242.0509071350098,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2238.8844032287598,
:x2 0,
:y2 2258.0548133850098,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2254.8883094787598,
:x2 0,
:y2 2274.0584754943848,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2270.8919715881348,
:x2 0,
:y2 2290.0623817443848,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 3},
:content {:text "e formulate the transformation repair as a multi-objective optimization problem, where solutions must optimize several objectives including social diversity. Our approach is implemented using the NSGA-II algorithm, a fast multi-objective EA [10]"},
:properties {:color "purple"}}
{:id #uuid "64ef04a0-20d3-4582-9d86-9113d8869909",
:page 4,
:position {:bounding {:x1 0,
:y1 154.18386840820312,
:x2 440.48083209991455,
:y2 913.7381286621094,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 104.4010591506958,
:y1 154.18386840820312,
:x2 440.4656343460083,
:y2 171.71102905273438,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 172.96908569335938,
:x2 440.48083209991455,
:y2 190.49618530273438,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 191.62588500976562,
:x2 440.4747896194458,
:y2 209.15298461914062,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 210.41104125976562,
:x2 332.65917682647705,
:y2 227.93814086914062,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 862.5603942871094,
:x2 0,
:y2 881.7306823730469,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 878.5640563964844,
:x2 0,
:y2 897.7344665527344,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 894.5678405761719,
:x2 0,
:y2 913.7381286621094,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 4},
:content {:text "The evaluation shows that social diversity is able to improve both the efficiency and the efficacy of EAs to fix faulty transformations, even when they contain up to five semantic errors"},
:properties {:color "purple"}}
{:id #uuid "64ef04de-145d-4ba9-a13e-02f48b796c6d",
:page 4,
:position {:bounding {:x1 0,
:y1 676.7882690429688,
:x2 440.4712190628052,
:y2 1313.8323974609375,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 104.4010591506958,
:y1 676.7882690429688,
:x2 440.4646577835083,
:y2 694.3153991699219,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 695.5734252929688,
:x2 440.4712190628052,
:y2 713.1005554199219,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 714.230224609375,
:x2 436.2642412185669,
:y2 731.7573547363281,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1278.6583251953125,
:x2 0,
:y2 1297.82861328125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1294.662109375,
:x2 0,
:y2 1313.8323974609375,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 4},
:content {:text "We then present the types of errors that can be found in such transformations, including semantic errors, which are the target of this work"},
:properties {:color "green"}}
{:id #uuid "64ef075b-0807-4ba9-9d00-eca724425600",
:page 4,
:position {:bounding {:x1 0,
:y1 985.6438903808594,
:x2 440.22931385040283,
:y2 1537.8852233886719,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 161.52386951446533,
:y1 985.6438903808594,
:x2 440.22931385040283,
:y2 1003.1709899902344,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 1004.4290466308594,
:x2 268.3139009475708,
:y2 1021.9562072753906,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1518.7149353027344,
:x2 0,
:y2 1537.8852233886719,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 4},
:content {:text "hus, a given transformation is defined for a pair of meta-models,"},
:properties {:color "yellow"}}
{:id #uuid "64ef0b14-6598-45a6-9d77-8a35c8ca2332",
:page 6,
:position {:bounding {:x1 0,
:y1 163.51229858398438,
:x2 440.4941301345825,
:y2 913.7381591796875,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 330.21681690216064,
:y1 163.51229858398438,
:x2 440.4941301345825,
:y2 181.0394287109375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 182.2974853515625,
:x2 440.4714937210083,
:y2 199.8245849609375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 200.95428466796875,
:x2 440.4747896194458,
:y2 218.48138427734375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 219.73944091796875,
:x2 387.6469392776489,
:y2 237.26657104492188,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 862.560302734375,
:x2 0,
:y2 881.7305908203125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 878.5640869140625,
:x2 0,
:y2 897.734375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 894.56787109375,
:x2 0,
:y2 913.7381591796875,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 6},
:content {:text "Syntactic errors can be due to type misuse such as referring to elements that are not in the meta-models or setting properties with values of the wrong type. "},
:properties {:color "green"}}
{:id #uuid "64ef0b27-cedf-482a-805d-de86d6469091",
:page 6,
:position {:bounding {:x1 0,
:y1 313.2716369628906,
:x2 440.48882007598877,
:y2 1041.7682800292969,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 127.72206592559814,
:y1 313.2716369628906,
:x2 440.48882007598877,
:y2 330.79876708984375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 332.06536865234375,
:x2 440.4743318557739,
:y2 349.5924987792969,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 350.713623046875,
:x2 440.4753999710083,
:y2 368.24072265625,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 369.5073547363281,
:x2 436.3147859573364,
:y2 387.0344543457031,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 990.5905456542969,
:x2 0,
:y2 1009.7608337402344,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1006.5943298339844,
:x2 0,
:y2 1025.7646179199219,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1022.5979919433594,
:x2 0,
:y2 1041.7682800292969,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 6},
:content {:text "Semantic errors make a transformation behave in a way that differs from what is expected, i.e., the transformation is semantically incorrect with respect to a specification of the expected behavior"},
:properties {:color "blue"}}
{:id #uuid "64ef0bdc-9a0f-48f4-ab00-c2e327afa47d",
:page 6,
:position {:bounding {:x1 0,
:y1 473.1553039550781,
:x2 812.0927934646606,
:y2 2050.005889892578,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 475.9623613357544,
:y1 473.1553039550781,
:x2 812.0927934646606,
:y2 490.6824035644531,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 491.8121032714844,
:x2 812.0381059646606,
:y2 509.3392028808594,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 510.5972595214844,
:x2 808.0404253005981,
:y2 528.1243591308594,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2014.8318176269531,
:x2 0,
:y2 2034.0019836425781,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2030.8354797363281,
:x2 0,
:y2 2050.005889892578,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 6},
:content {:text "Program repair can be defined by the transformation of an unacceptable behavior of a program into an acceptable one according to a specification [25]"},
:properties {:color "blue"}}
{:id #uuid "64ef0c0d-5446-4321-96e8-98c3125528b3",
:page 6,
:position {:bounding {:x1 0,
:y1 529.2540740966797,
:x2 812.0540971755981,
:y2 2082.0133514404297,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 569.7769975662231,
:y1 529.2540740966797,
:x2 812.0540971755981,
:y2 546.7811737060547,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 548.0392303466797,
:x2 797.4078569412231,
:y2 565.5663299560547,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2062.8429412841797,
:x2 0,
:y2 2082.0133514404297,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 6},
:content {:text "patch a sequence of edit operations which modifies a transformation’s source code."},
:properties {:color "green"}}
{:id #uuid "64ef0c46-e3d4-4971-b3db-3a7f0c98d933",
:page 7,
:position {:bounding {:x1 103,
:y1 327.974609375,
:x2 473,
:y2 570.974609375,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects (),
:page 7},
:content {:text "[:span]", :image 1693387846594},
:properties {:color "green"}}
{:id #uuid "64ef0c76-0862-40a8-9f32-a48abd4eb1b1",
:page 6,
:position {:bounding {:x1 0,
:y1 754.0343017578125,
:x2 812.0357866287231,
:y2 2290.0623168945312,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 687.0151567459106,
:y1 754.0343017578125,
:x2 812.0322465896606,
:y2 771.5614013671875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 772.6911010742188,
:x2 812.0357866287231,
:y2 790.2182006835938,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 791.4762573242188,
:x2 674.5904741287231,
:y2 809.0033569335938,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2254.8882446289062,
:x2 0,
:y2 2274.0586547851562,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2270.8921508789062,
:x2 0,
:y2 2290.0623168945312,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 6},
:content {:text "We thus use these edit operations to compose the patches to repair faulty ATL transformations. W"},
:properties {:color "green"}}
{:id #uuid "64ef0c9e-53be-4e0e-a82a-80b43b9ac49f",
:page 4,
:position {:bounding {:x1 0,
:y1 472.496337890625,
:x2 440.4635133743286,
:y2 1153.7947998046875,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 112.73734760284424,
:y1 472.496337890625,
:x2 440.4635133743286,
:y2 490.0234375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 491.2900390625,
:x2 138.6435136795044,
:y2 508.81719970703125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1134.62451171875,
:x2 0,
:y2 1153.7947998046875,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 4},
:content {:text "resents related work and Section 8 concludes the pape"},
:properties {:color "yellow"}}
{:id #uuid "64ef37c8-3018-4922-853d-7b0c16b6e2e9",
:page 7,
:position {:bounding {:x1 0,
:y1 847.8317565917969,
:x2 452.96959400177,
:y2 1569.8926696777344,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 258.6344804763794,
:y1 847.8317565917969,
:x2 452.51930713653564,
:y2 865.35888671875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 116.75905323028564,
:y1 866.616943359375,
:x2 452.83379077911377,
:y2 884.14404296875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 116.75905323028564,
:y1 885.2737426757812,
:x2 452.96959400177,
:y2 902.8008422851562,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 116.75905323028564,
:y1 904.0588989257812,
:x2 452.53725147247314,
:y2 921.5860290527344,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 116.75905323028564,
:y1 922.7156982421875,
:x2 452.83769702911377,
:y2 940.2428283691406,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 116.75905323028564,
:y1 941.5008850097656,
:x2 339.1253252029419,
:y2 959.0279846191406,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1486.7073669433594,
:x2 0,
:y2 1505.8776550292969,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1502.7111511230469,
:x2 0,
:y2 1521.8814392089844,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1518.7149353027344,
:x2 0,
:y2 1537.8852233886719,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1534.7187194824219,
:x2 0,
:y2 1553.8890075683594,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1550.7223815917969,
:x2 0,
:y2 1569.8926696777344,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 7},
:content {:text "This patch therefore modifies the faulty transformation behavior, and the patched transformation produces the expected output model. This three-edit patch is thus considered optimal to repair the transformation with regards to the provided test case"},
:properties {:color "yellow"}}
{:id #uuid "64ef385d-2265-4d40-b96b-d14d95818a44",
:page 7,
:position {:bounding {:x1 0,
:y1 116.74192810058594,
:x2 824.3916215896606,
:y2 1713.9265899658203,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 689.0450029373169,
:y1 116.74192810058594,
:x2 824.3772172927856,
:y2 134.26905822753906,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 135.3987274169922,
:x2 824.3786211013794,
:y2 152.9258575439453,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 154.1839141845703,
:x2 824.3916215896606,
:y2 171.7110137939453,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 172.9690704345703,
:x2 824.3855791091919,
:y2 190.49620056152344,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 191.62586975097656,
:x2 564.8413896560669,
:y2 209.1529998779297,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1646.7450714111328,
:x2 0,
:y2 1665.9153594970703,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1662.7488555908203,
:x2 0,
:y2 1681.9191436767578,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1678.7526397705078,
:x2 0,
:y2 1697.9229278564453,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1694.7563018798828,
:x2 0,
:y2 1713.9265899658203,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 7},
:content {:text " Input/output in test cases may reveal the presence of semantic errors, but do not provide a clear indication of what is causing the errors, nor the rules in which they may occur."},
:properties {:color "yellow"}}
{:id #uuid "64ef3895-e5e5-4881-b7b8-877d13105706",
:page 7,
:position {:bounding {:x1 0,
:y1 378.82716369628906,
:x2 824.4770097732544,
:y2 1937.9793243408203,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 750.3650102615356,
:y1 378.82716369628906,
:x2 824.3870439529419,
:y2 396.3543243408203,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 397.6209259033203,
:x2 824.3810625076294,
:y2 415.1480255126953,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 416.4060821533203,
:x2 824.4770097732544,
:y2 433.9331817626953,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 435.05433654785156,
:x2 824.3778276443481,
:y2 452.58143615722656,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 453.84803771972656,
:x2 606.6703081130981,
:y2 471.3751983642578,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1870.7979278564453,
:x2 0,
:y2 1889.9680938720703,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1886.8015899658203,
:x2 0,
:y2 1905.9717559814453,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1902.8052520751953,
:x2 0,
:y2 1921.9756622314453,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1918.8091583251953,
:x2 0,
:y2 1937.9793243408203,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 7},
:content {:text "In such situations, an alternative is to formulate the task as an optimization problem, where the goal is to automatically find optimal solutions in the space of all possible solutions"},
:properties {:color "yellow"}}
{:id #uuid "64ef3970-80ba-4e24-ad30-94c074a0dadb",
:page 7,
:position {:bounding {:x1 0,
:y1 622.2641906738281,
:x2 824.3882646560669,
:y2 2098.01708984375,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 798.1795854568481,
:y1 622.2641906738281,
:x2 824.3882646560669,
:y2 639.7913208007812,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 641.0493774414062,
:x2 579.8113603591919,
:y2 658.5765075683594,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2078.8468017578125,
:x2 0,
:y2 2098.01708984375,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 7},
:content {:text "edit operations, a"},
:properties {:color "yellow"}}
{:id #uuid "64ef3a3d-2e67-478b-9cd1-8078443b0302",
:page 7,
:position {:bounding {:x1 0,
:y1 896.8358154296875,
:x2 824.4422197341919,
:y2 2322.0699157714844,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 565.9685869216919,
:y1 896.8358154296875,
:x2 824.4422197341919,
:y2 914.3629150390625,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 915.6209716796875,
:x2 824.3855180740356,
:y2 933.1481018066406,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 488.31178760528564,
:y1 934.2777709960938,
:x2 651.5571489334106,
:y2 951.8049011230469,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2286.8958435058594,
:x2 0,
:y2 2306.066131591797,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2302.899627685547,
:x2 0,
:y2 2322.0699157714844,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 7},
:content {:text "test suite, where each test case in that suite consists of one input model and its corresponding output model "},
:properties {:color "green"}}
{:id #uuid "64ef3a5a-430c-43dc-a6f3-c4deda8e2a2a",
:page 8,
:position {:bounding {:x1 0,
:y1 263.2235107421875,
:x2 440.51210498809814,
:y2 1041.7683715820312,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 104.4010591506958,
:y1 263.2235107421875,
:x2 440.51210498809814,
:y2 280.7506103515625,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 281.88031005859375,
:x2 401.23125171661377,
:y2 299.40740966796875,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1022.5980834960938,
:x2 0,
:y2 1041.7683715820312,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "how these produced output models differ from the reference output models in that test suite."},
:properties {:color "green"}}
{:id #uuid "64ef3a6b-d9c4-4041-bc55-d1dcde751ce1",
:page 8,
:position {:bounding {:x1 0,
:y1 319.45062255859375,
:x2 440.4715166091919,
:y2 1089.7796020507812,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 342.0129289627075,
:y1 319.45062255859375,
:x2 440.4715166091919,
:y2 336.977783203125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 338.107421875,
:x2 413.74712085723877,
:y2 355.63458251953125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 400.0685625076294,
:y1 344.27789306640625,
:x2 402.49049854278564,
:y2 356.3277587890625,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1070.6093139648438,
:x2 0,
:y2 1089.7796020507812,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "how does this differ from the reference output model outi?"},
:properties {:color "green"}}
{:id #uuid "64ef3a86-1f88-4ac7-a988-846720effdcf",
:page 8,
:position {:bounding {:x1 0,
:y1 356.892578125,
:x2 440.56447315216064,
:y2 1153.794677734375,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 312.47710132598877,
:y1 356.892578125,
:x2 440.4781084060669,
:y2 374.41973876953125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 375.54937744140625,
:x2 440.1971712112427,
:y2 393.0765380859375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 394.3345947265625,
:x2 440.56447315216064,
:y2 411.8616943359375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 412.99139404296875,
:x2 361.1334505081177,
:y2 430.51849365234375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1102.616943359375,
:x2 0,
:y2 1121.7872314453125,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1118.62060546875,
:x2 0,
:y2 1137.791015625,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1134.6243896484375,
:x2 0,
:y2 1153.794677734375,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "Equation 2 which collects this set of differences. This will allow for the measuring of how many and which errors are fixed by patching a transformation."},
:properties {:color "green"}}
{:id #uuid "64ef3ab5-7feb-41a3-9749-d0faeacccb66",
:page 8,
:position {:bounding {:x1 186.51665210723877,
:y1 581.4075164794922,
:x2 285.20619678497314,
:y2 598.9346160888672,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 186.51665210723877,
:y1 581.4075164794922,
:x2 285.20619678497314,
:y2 598.9346160888672,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "edit operations"},
:properties {:color "yellow"}}
{:id #uuid "64ef3b30-19a3-4139-97a0-ef63ee319beb",
:page 8,
:position {:bounding {:x1 0,
:y1 754.5563049316406,
:x2 440.47619342803955,
:y2 1425.8587951660156,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 218.0101671218872,
:y1 754.5563049316406,
:x2 440.46770191192627,
:y2 772.0834045410156,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 773.3414611816406,
:x2 440.4688386917114,
:y2 790.8686218261719,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 791.9982604980469,
:x2 440.47619342803955,
:y2 809.5254211425781,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 810.7834777832031,
:x2 181.0904130935669,
:y2 828.3105773925781,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1374.6809387207031,
:x2 0,
:y2 1393.8512268066406,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1390.6847229003906,
:x2 0,
:y2 1409.8550109863281,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1406.6885070800781,
:x2 0,
:y2 1425.8587951660156,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "We will combine i) and ii) in our approach to repeatedly patch transformations and determine the fitness of that patch in terms of the errors fixed"},
:properties {:color "yellow"}}
{:id #uuid "64ef3c52-07b9-454a-a2e8-1707ea2208ac",
:page 8,
:position {:bounding {:x1 0,
:y1 949.5113525390625,
:x2 440.46747303009033,
:y2 1537.88525390625,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 160.59497547149658,
:y1 949.5113525390625,
:x2 440.46747303009033,
:y2 967.0384521484375,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 968.3050537109375,
:x2 440.46630573272705,
:y2 985.8322143554688,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 104.4010591506958,
:y1 986.9533081054688,
:x2 435.98144245147705,
:y2 1004.4804077148438,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1502.711181640625,
:x2 0,
:y2 1521.8814697265625,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1518.71484375,
:x2 0,
:y2 1537.88525390625,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "We discuss EAs as applied to transformation repair, in the context of the multi-objective algorithm introduced by our previous work [41]"},
:properties {:color "green"}}
{:id #uuid "64ef4349-1534-401d-9d62-05f939afb166",
:page 8,
:position {:bounding {:x1 0,
:y1 263.2234878540039,
:x2 812.0396318435669,
:y2 1681.919075012207,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 676.5325517654419,
:y1 263.2234878540039,
:x2 810.2607011795044,
:y2 280.75061798095703,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 281.88028717041016,
:x2 812.0332231521606,
:y2 299.4074172973633,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 300.6654739379883,
:x2 812.0396318435669,
:y2 318.1925735473633,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 319.4506301879883,
:x2 633.6161088943481,
:y2 336.9777603149414,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1630.7412185668945,
:x2 0,
:y2 1649.9116287231445,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1646.745002746582,
:x2 0,
:y2 1665.9152908325195,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1662.7487869262695,
:x2 0,
:y2 1681.919075012207,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "A second objective is also discussed which prevents the patches from growing unnecessarily large during the search, an issue known as bloating"},
:properties {:color "green"}}
{:id #uuid "64ef43ba-e4f5-4732-a79d-d5047fe455b5",
:page 8,
:position {:bounding {:x1 561.9170122146606,
:y1 425.34082794189453,
:x2 807.8645830154419,
:y2 442.86792755126953,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 561.9170122146606,
:y1 425.34082794189453,
:x2 807.8645830154419,
:y2 442.86792755126953,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "efficiently exploring the search space"},
:properties {:color "green"}}
{:id #uuid "64ef43d3-9194-4dc2-9dca-0ff2d6704af0",
:page 8,
:position {:bounding {:x1 0,
:y1 462.91114044189453,
:x2 812.1331987380981,
:y2 1889.968147277832,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 591.9768266677856,
:y1 462.91114044189453,
:x2 812.1157426834106,
:y2 480.4383010864258,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 481.5679397583008,
:x2 812.0821733474731,
:y2 499.09510040283203,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 500.35315704345703,
:x2 811.2068071365356,
:y2 517.880256652832,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 519.0099563598633,
:x2 812.1331987380981,
:y2 536.5370559692383,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 537.7951126098633,
:x2 812.0336503982544,
:y2 555.3222122192383,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 556.4433670043945,
:x2 812.0547685623169,
:y2 573.9704666137695,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 575.2370681762695,
:x2 812.0305986404419,
:y2 592.7642288208008,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 593.8853225708008,
:x2 546.0795488357544,
:y2 611.4124221801758,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1774.7751541137695,
:x2 0,
:y2 1793.945442199707,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1790.778938293457,
:x2 0,
:y2 1809.9492263793945,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1806.7827224731445,
:x2 0,
:y2 1825.953010559082,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1822.786506652832,
:x2 0,
:y2 1841.9567947387695,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1838.7902908325195,
:x2 0,
:y2 1857.960578918457,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1854.794075012207,
:x2 0,
:y2 1873.9643630981445,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 1870.7978591918945,
:x2 0,
:y2 1889.968147277832,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "EAs maintain a population of candidate solutions which undergo an evolution process through several generations. At each generation, some solutions are mutated (i.e., we use an existing solution to create a slightly different solution) and other solutions are bred (i.e., several existing solutions are recombined to create new solutions)."},
:properties {:color "blue"}}
{:id #uuid "64ef4420-a3ad-42d1-951a-05417f05accd",
:page 8,
:position {:bounding {:x1 0,
:y1 949.6482734680176,
:x2 812.1304521560669,
:y2 2210.04341506958,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 758.9038896560669,
:y1 949.6482734680176,
:x2 812.1304521560669,
:y2 967.1753730773926,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 968.4334297180176,
:x2 648.7180376052856,
:y2 985.9605293273926,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2190.873249053955,
:x2 0,
:y2 2210.04341506958,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "defining a solution representation"},
:properties {:color "blue"}}
{:id #uuid "64ef4425-628c-4f46-9b7b-0fce5df8ce0a",
:page 8,
:position {:bounding {:x1 0,
:y1 968.4334297180176,
:x2 812.0970048904419,
:y2 2226.04732131958,
:width 928.9029084967319,
:height 1313.7335784313725},
:rects ({:x1 660.8102006912231,
:y1 968.4334297180176,
:x2 812.0970048904419,
:y2 985.9605293273926,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 475.9623613357544,
:y1 987.2185859680176,
:x2 600.4831132888794,
:y2 1004.7457466125488,
:width 928.9029084967319,
:height 1313.7335784313725}
{:x1 0,
:y1 2206.87691116333,
:x2 0,
:y2 2226.04732131958,
:width 928.9029084967319,
:height 1313.7335784313725}),
:page 8},
:content {:text "genetic operators and a fitness function."},
:properties {:color "blue"}}
{:id #uuid "64ef44c3-621d-4353-bd7a-0f337f594cc0",
:page 9,
:position {:bounding {:x1 0,
:y1 414.6516418457031,
:x2 483.6612091064453,
:y2 1105.7834777832031,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 224.23057556152344,
:y1 414.6516418457031,
:x2 480.8922882080078,
:y2 432.7265319824219,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 434.7205505371094,
:x2 483.6612091064453,
:y2 452.7954406738281,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 454.7809143066406,
:x2 483.65333557128906,
:y2 472.8557434082031,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 474.7043151855469,
:x2 244.6514434814453,
:y2 492.7791442871094,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1054.6056213378906,
:x2 0,
:y2 1073.7759094238281,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1070.6094055175781,
:x2 0,
:y2 1089.7796936035156,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1086.6131896972656,
:x2 0,
:y2 1105.7834777832031,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 9},
:content {:text " more convenient way to represent solutions in these cases is to consider patches in the form of sequences of edit operations as represented in Fig. 4. "},
:properties {:color "green"}}
{:id #uuid "64ef4553-f98e-437f-9127-5e62a2c92985",
:page 9,
:position {:bounding {:x1 0,
:y1 744.5346984863281,
:x2 483.7775421142578,
:y2 1313.8323974609375,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 418.87086486816406,
:y1 744.5346984863281,
:x2 483.7775421142578,
:y2 762.6095581054688,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 764.4580993652344,
:x2 234.5708770751953,
:y2 782.532958984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1294.662109375,
:x2 0,
:y2 1313.8323974609375,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 9},
:content {:text "mutation and crossover. "},
:properties {:color "green"}}
{:id #uuid "64ef455c-9fd6-473d-8b86-cdba03bc4a3d",
:page 9,
:position {:bounding {:x1 0,
:y1 764.4580993652344,
:x2 483.6693878173828,
:y2 1345.8399658203125,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 245.08277893066406,
:y1 764.4580993652344,
:x2 483.4030303955078,
:y2 782.532958984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 784.5184631347656,
:x2 483.6693878173828,
:y2 802.5932922363281,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 804.4418640136719,
:x2 190.86122131347656,
:y2 822.5166931152344,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1310.6658935546875,
:x2 0,
:y2 1329.836181640625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1326.669677734375,
:x2 0,
:y2 1345.8399658203125,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 9},
:content {:text "he mutation operator takes one solution as input and outputs a slightly modified solution. "},
:properties {:color "green"}}
{:id #uuid "64ef4597-b4cf-4ab9-aa15-3babe527a6f9",
:page 9,
:position {:bounding {:x1 0,
:y1 964.4025268554688,
:x2 483.7433624267578,
:y2 1521.8814086914062,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 415.67665100097656,
:y1 964.4025268554688,
:x2 483.3936309814453,
:y2 982.4773559570312,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 984.471435546875,
:x2 483.7433624267578,
:y2 1002.5462646484375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 1004.53173828125,
:x2 483.6673126220703,
:y2 1022.6066284179688,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 1024.4552001953125,
:x2 351.4668426513672,
:y2 1042.530029296875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1470.7035522460938,
:x2 0,
:y2 1489.8738403320312,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1486.7073364257812,
:x2 0,
:y2 1505.8776245117188,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1502.7111206054688,
:x2 0,
:y2 1521.8814086914062,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 9},
:content {:text "The considered mutations here are 1) adding an edit operation, 2) removing an edit operation and or3) modifying an edit operation. "},
:properties {:color "yellow"}}
{:id #uuid "64ef4606-e94a-42c9-bbc0-892bd318d1c1",
:page 10,
:position {:bounding {:x1 456.81886291503906,
:y1 166.0027313232422,
:x2 485.8034210205078,
:y2 180.24351501464844,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 456.81886291503906,
:y1 166.0027313232422,
:x2 485.8034210205078,
:y2 180.24351501464844,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "union"},
:properties {:color "yellow"}}
{:id #uuid "64ef4641-5789-4588-9036-10525b7cae5e",
:page 9,
:position {:bounding {:x1 0,
:y1 542.4849700927734,
:x2 109.72332763671875,
:y2 845.2557220458984,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 0,
:y1 542.4849700927734,
:x2 0,
:y2 561.6552581787109,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 558.4887542724609,
:x2 0,
:y2 577.6590423583984,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 84.81997680664062,
:y1 807.2489471435547,
:x2 109.72332763671875,
:y2 825.3237762451172,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 84.81997680664062,
:y1 827.1808929443359,
:x2 109.72332763671875,
:y2 845.2557220458984,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 9},
:content {:text "392393"},
:properties {:color "yellow"}}
{:id #uuid "64ef4643-be7d-4872-98ce-c7e6452e93d8",
:page 9,
:position {:bounding {:x1 0,
:y1 536.3059844970703,
:x2 880.5149078369141,
:y2 1953.983139038086,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 625.2795562744141,
:y1 536.3059844970703,
:x2 880.2083282470703,
:y2 554.3808135986328,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517120361328,
:y1 556.3663177490234,
:x2 880.5149078369141,
:y2 574.4411773681641,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517120361328,
:y1 576.2982940673828,
:x2 717.4660186767578,
:y2 594.3731231689453,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1918.809066772461,
:x2 0,
:y2 1937.9793548583984,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1934.8128509521484,
:x2 0,
:y2 1953.983139038086,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 9},
:content {:text "This ranking is then used to select the better half of the population, and discard the solutions with poor fitness."},
:properties {:color "green"}}
{:id #uuid "64ef466f-2a72-421b-b8ee-db588e313e49",
:page 9,
:position {:bounding {:x1 0,
:y1 816.3719482421875,
:x2 880.5034942626953,
:y2 2178.0359802246094,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 662.0810699462891,
:y1 816.3719482421875,
:x2 879.6220245361328,
:y2 834.4468078613281,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517120361328,
:y1 836.2953796386719,
:x2 880.5034942626953,
:y2 854.3702087402344,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517120361328,
:y1 856.3642578125,
:x2 880.4991607666016,
:y2 874.4391174316406,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2142.8619079589844,
:x2 0,
:y2 2162.032196044922,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2158.865692138672,
:x2 0,
:y2 2178.0359802246094,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 9},
:content {:text "At each generation, the fitness function would thus favor the patches passing the most test cases, until finding one passing them all."},
:properties {:color "yellow"}}
{:id #uuid "64ef475d-fd48-4b41-8113-044bf6cde999",
:page 9,
:position {:bounding {:x1 0,
:y1 952.9003295898438,
:x2 880.5041046142578,
:y2 2274.05859375,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 521.5517120361328,
:y1 952.9003295898438,
:x2 880.5041046142578,
:y2 970.9751892089844,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517120361328,
:y1 972.8237609863281,
:x2 880.5016021728516,
:y2 990.8985900878906,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517120361328,
:y1 992.8926391601562,
:x2 880.4967803955078,
:y2 1010.9674987792969,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517120361328,
:y1 1012.8160705566406,
:x2 796.2158355712891,
:y2 1030.8908996582031,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2222.8807373046875,
:x2 0,
:y2 2242.051025390625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2238.884521484375,
:x2 0,
:y2 2258.0548095703125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2254.8883056640625,
:x2 0,
:y2 2274.05859375,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 9},
:content {:text "Multi-objective optimization problems introduce the idea that the fitness of candidate solutions may be evaluated based on several objectives, which may conflict with each other."},
:properties {:color "blue"}}
{:id #uuid "64ef477e-bc2d-40d5-94ae-787955554967",
:page 10,
:position {:bounding {:x1 0,
:y1 372.28021240234375,
:x2 470.4608917236328,
:y2 961.7494506835938,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 111.51289367675781,
:y1 372.28021240234375,
:x2 470.4608917236328,
:y2 390.35504150390625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51289367675781,
:y1 392.20361328125,
:x2 419.8834991455078,
:y2 410.2784423828125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 942.5791625976562,
:x2 0,
:y2 961.7494506835938,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "Thus, non-dominated solutions are not comparable and can be considered equally good."},
:properties {:color "blue"}}
{:id #uuid "64ef47dd-22cb-42f3-a754-1a50cc9dec87",
:page 10,
:position {:bounding {:x1 0,
:y1 412.26393127441406,
:x2 470.46376037597656,
:y2 1009.7607727050781,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 225.96632385253906,
:y1 412.26393127441406,
:x2 470.46278381347656,
:y2 430.3387756347656,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51289367675781,
:y1 432.1873474121094,
:x2 470.46376037597656,
:y2 450.2621765136719,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51289367675781,
:y1 452.2562255859375,
:x2 383.57322692871094,
:y2 470.3310852050781,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 974.5867614746094,
:x2 0,
:y2 993.7570495605469,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 990.5904846191406,
:x2 0,
:y2 1009.7607727050781,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "NSGA-II [10], a well-known fast multi-objective genetic algorithm, that is suitable to the kind of problem we are solving"},
:properties {:color "green"}}
{:id #uuid "64ef648b-1567-4557-8a6a-3891c7abfc3a",
:page 10,
:position {:bounding {:x1 0,
:y1 392.9053497314453,
:x2 867.3164215087891,
:y2 1441.8626251220703,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 632.6772613525391,
:y1 392.9053497314453,
:x2 867.3164215087891,
:y2 410.98023986816406,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 412.96571350097656,
:x2 863.3646392822266,
:y2 431.04054260253906,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1422.6923370361328,
:x2 0,
:y2 1441.8626251220703,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "a number of iterations or one or more objectives greater than a certain threshold."},
:properties {:color "green"}}
{:id #uuid "64ef64ac-91a5-419d-8d12-44fefb29cb10",
:page 10,
:position {:bounding {:x1 647.5411529541016,
:y1 546.1307392120361,
:x2 843.3330841064453,
:y2 564.2056293487549,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 647.5411529541016,
:y1 546.1307392120361,
:x2 843.3330841064453,
:y2 564.2056293487549,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text " repairing transformations"},
:properties {:color "green"}}
{:id #uuid "64ef64b7-54a7-4bcb-a6a3-a7caff1d00e6",
:page 10,
:position {:bounding {:x1 0,
:y1 626.1068134307861,
:x2 867.3037261962891,
:y2 1601.9002704620361,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 669.8885650634766,
:y1 626.1068134307861,
:x2 867.3037261962891,
:y2 644.1816425323486,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 646.1671772003174,
:x2 637.0291290283203,
:y2 664.2420063018799,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1582.7299823760986,
:x2 0,
:y2 1601.9002704620361,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "e more test cases pass, the better the patch. "},
:properties {:color "green"}}
{:id #uuid "64ef64c1-c763-443c-b1c1-695ea5535745",
:page 10,
:position {:bounding {:x1 0,
:y1 646.1671772003174,
:x2 867.3138580322266,
:y2 1649.9116230010986,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 641.7856597900391,
:y1 646.1671772003174,
:x2 865.7320098876953,
:y2 664.2420063018799,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 666.0991230010986,
:x2 867.3138580322266,
:y2 684.1739521026611,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 686.1594867706299,
:x2 867.3110504150391,
:y2 704.2343158721924,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 706.0828876495361,
:x2 845.1142120361328,
:y2 724.1577167510986,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1598.7337665557861,
:x2 0,
:y2 1617.9040546417236,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1614.7375507354736,
:x2 0,
:y2 1633.9078388214111,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1630.7413349151611,
:x2 0,
:y2 1649.9116230010986,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "n the case of ATL transformations, test cases are pairs of input/output models: provided with the input models, a correct transformation should output the expected models."},
:properties {:color "green"}}
{:id #uuid "64ef64de-a45a-4a79-b0ef-eb6a379c1e01",
:page 10,
:position {:bounding {:x1 0,
:y1 826.0512104034424,
:x2 867.3102569580078,
:y2 1761.9379901885986,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 642.0331573486328,
:y1 826.0512104034424,
:x2 867.3102569580078,
:y2 844.1261005401611,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 846.1201190948486,
:x2 744.6892852783203,
:y2 864.1949481964111,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1742.7677021026611,
:x2 0,
:y2 1761.9379901885986,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "equivalent to the expected output, then the test case passes"},
:properties {:color "yellow"}}
{:id #uuid "64ef6511-65c2-4850-bd99-49f008a47a0b",
:page 10,
:position {:bounding {:x1 0,
:y1 986.1573944091797,
:x2 867.3089141845703,
:y2 1889.9681243896484,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 580.1314239501953,
:y1 986.1573944091797,
:x2 867.3089141845703,
:y2 1004.2322235107422,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 1006.0807952880859,
:x2 862.5542144775391,
:y2 1024.1556243896484,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1870.797836303711,
:x2 0,
:y2 1889.9681243896484,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "efine the fitness score by considering the differences between the two output models"},
:properties {:color "green"}}
{:id #uuid "64ef6524-42b7-4a96-a0ae-de2f2fe122bc",
:page 10,
:position {:bounding {:x1 0,
:y1 1026.1411590576172,
:x2 867.3174591064453,
:y2 1969.9869232177734,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 508.35499572753906,
:y1 1026.1411590576172,
:x2 867.3067169189453,
:y2 1044.2159881591797,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 1046.0645599365234,
:x2 867.3121490478516,
:y2 1064.139389038086,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 1066.1334686279297,
:x2 867.3090972900391,
:y2 1084.2082977294922,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 1086.056869506836,
:x2 867.3174591064453,
:y2 1104.1316986083984,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 1106.1257781982422,
:x2 736.3440093994141,
:y2 1124.2006072998047,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1902.805404663086,
:x2 0,
:y2 1921.9756927490234,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1918.809066772461,
:x2 0,
:y2 1937.9793548583984,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1934.8128509521484,
:x2 0,
:y2 1953.983139038086,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1950.816635131836,
:x2 0,
:y2 1969.9869232177734,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 10},
:content {:text "The idea is that even if a patch does not correct all the errors and does not pass all the tests, a partial solution should lead to less discrepancies between the output models and the expected ones compared to a random solution"},
:properties {:color "yellow"}}
{:id #uuid "64ef65e2-d5e7-49b0-944f-705ac9d9f34b",
:page 11,
:position {:bounding {:x1 0,
:y1 344.77425956726074,
:x2 483.6569366455078,
:y2 1025.7645854949951,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 270.71116638183594,
:y1 344.77425956726074,
:x2 483.6569366455078,
:y2 362.84908866882324,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 364.697660446167,
:x2 248.47486877441406,
:y2 382.7724895477295,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1006.5942974090576,
:x2 0,
:y2 1025.7645854949951,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 11},
:content {:text "When such a patch is found, the process stops"},
:properties {:color "green"}}
{:id #uuid "64f03cff-821c-483e-9f6e-9d155f8c1719",
:page 11,
:position {:bounding {:x1 0,
:y1 184.81356811523438,
:x2 483.67081451416016,
:y2 898.8298645019531,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 152.7822036743164,
:y1 184.81356811523438,
:x2 483.67081451416016,
:y2 202.88839721679688,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70958709716797,
:y1 204.74557495117188,
:x2 221.06192779541016,
:y2 222.82040405273438,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 877.4686584472656,
:x2 0,
:y2 898.8298645019531,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 11},
:content {:text "ompute the number of differences between these models"},
:properties {:color "green"}}
{:id #uuid "64f03d8d-77e4-4449-84d7-35cdaf993230",
:page 11,
:position {:bounding {:x1 0,
:y1 758.9808959960938,
:x2 880.5698013305664,
:y2 2291.157745361328,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 532.5524673461914,
:y1 758.9808959960938,
:x2 880.5698013305664,
:y2 777.0557556152344,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517349243164,
:y1 778.9128723144531,
:x2 880.5107192993164,
:y2 796.9877014160156,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517349243164,
:y1 798.9732055664062,
:x2 880.5137100219727,
:y2 817.0480651855469,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517349243164,
:y1 818.8966064453125,
:x2 587.9336318969727,
:y2 836.9714660644531,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2237.789093017578,
:x2 0,
:y2 2259.1502990722656,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2253.7928771972656,
:x2 0,
:y2 2275.1539611816406,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2269.796661376953,
:x2 0,
:y2 2291.157745361328,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 11},
:content {:text "loating is a known issue in EAs where the solutions considered during a run grow in size and become larger than necessary to represent good solutions."},
:properties {:color "green"}}
{:id #uuid "64f03db8-3713-4aac-bb23-206437bfc12b",
:page 11,
:position {:bounding {:x1 588.7399673461914,
:y1 998.9261779785156,
:x2 840.0322647094727,
:y2 1017.0010070800781,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 588.7399673461914,
:y1 998.9261779785156,
:x2 840.0322647094727,
:y2 1017.0010070800781,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 11},
:content {:text " number of operations in the patch"},
:properties {:color "green"}}
{:id #uuid "64f03dc3-14d3-45fa-822a-d8ae2c8d81db",
:page 11,
:position {:bounding {:x1 0,
:y1 998.9261474609375,
:x2 880.5046768188477,
:y2 2483.2029418945312,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 859.0386734008789,
:y1 998.9261474609375,
:x2 880.2137222290039,
:y2 1017.0010375976562,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517349243164,
:y1 1018.9865112304688,
:x2 880.5046768188477,
:y2 1037.0613403320312,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517349243164,
:y1 1038.909912109375,
:x2 880.4975967407227,
:y2 1056.9847412109375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5517349243164,
:y1 1058.9788208007812,
:x2 596.9784317016602,
:y2 1077.0536499023438,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2429.8342895507812,
:x2 0,
:y2 2451.1953735351562,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2445.8379516601562,
:x2 0,
:y2 2467.1992797851562,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2461.8418579101562,
:x2 0,
:y2 2483.2029418945312,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 11},
:content {:text "his objective thus favors patches of small size to avoid generating candidate patches using too many edit operations"},
:properties {:color "blue"}}
{:id #uuid "64f03e01-7fcf-40de-a73a-a259054ac1df",
:page 12,
:position {:bounding {:x1 0,
:y1 506.4208679199219,
:x2 470.47525787353516,
:y2 1154.8901672363281,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 217.28531646728516,
:y1 506.4208679199219,
:x2 470.4710464477539,
:y2 524.4956970214844,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51288604736328,
:y1 526.3442687988281,
:x2 470.47525787353516,
:y2 544.4190979003906,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51288604736328,
:y1 546.4046325683594,
:x2 313.5085220336914,
:y2 564.4794616699219,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1117.5251770019531,
:x2 0,
:y2 1138.8863830566406,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1133.5289611816406,
:x2 0,
:y2 1154.8901672363281,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 12},
:content {:text "We then present the third objective in our algorithm, which is designed to preserve diversity in the population."},
:properties {:color "blue"}}
{:id #uuid "64f0458e-5577-4dda-abc4-87357be6e9dc",
:page 12,
:position {:bounding {:x1 0,
:y1 676.7625923156738,
:x2 470.4756851196289,
:y2 1314.9278755187988,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 404.1132278442383,
:y1 676.7625923156738,
:x2 470.4756851196289,
:y2 694.8374214172363,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51288604736328,
:y1 696.6859931945801,
:x2 470.4646987915039,
:y2 714.7608222961426,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51288604736328,
:y1 716.7463569641113,
:x2 470.46952056884766,
:y2 734.8211860656738,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51288604736328,
:y1 736.6783027648926,
:x2 470.4721450805664,
:y2 754.7531318664551,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51288604736328,
:y1 756.7386665344238,
:x2 470.46695709228516,
:y2 774.8134956359863,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.51288604736328,
:y1 776.6620674133301,
:x2 144.39794158935547,
:y2 794.7368965148926,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1229.5516548156738,
:x2 0,
:y2 1250.9127388000488,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1245.5553169250488,
:x2 0,
:y2 1266.9165229797363,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1261.5591011047363,
:x2 0,
:y2 1282.9203071594238,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1277.5628852844238,
:x2 0,
:y2 1298.9240913391113,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1293.5666694641113,
:x2 0,
:y2 1314.9278755187988,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 12},
:content {:text "Carefully designing the fitness function is essential and may impact both the approach’s efficiency (time to converge toward an optimal solution) and efficacy(whether it converges towards optimal solution or not)."},
:properties {:color "yellow"}}
{:id #uuid "64f0489e-d6ed-4822-989f-b34b62f694fe",
:page 12,
:position {:bounding {:x1 0,
:y1 364.6976623535156,
:x2 867.3069610595703,
:y2 1811.0447692871094,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 738.2352447509766,
:y1 364.6976623535156,
:x2 867.3069610595703,
:y2 382.7724914550781,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 384.7665710449219,
:x2 867.3061065673828,
:y2 402.8414001464844,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 404.6899719238281,
:x2 655.0075225830078,
:y2 422.7648010253906,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1773.6797790527344,
:x2 0,
:y2 1795.0408630371094,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1789.6834411621094,
:x2 0,
:y2 1811.0447692871094,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 12},
:content {:text "nd the necessary material to cover all errors and pass all tests is lost to their profits. "},
:properties {:color "yellow"}}
{:id #uuid "64f048d6-e725-40a1-954d-4e0ecf041c70",
:page 12,
:position {:bounding {:x1 0,
:y1 404.68994903564453,
:x2 867.3144073486328,
:y2 1875.0597610473633,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 666.5825347900391,
:y1 404.68994903564453,
:x2 867.3144073486328,
:y2 422.76477813720703,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 424.7588577270508,
:x2 867.3030548095703,
:y2 442.8336868286133,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 444.81922149658203,
:x2 867.3056793212891,
:y2 462.89405059814453,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 464.7426223754883,
:x2 867.3069610595703,
:y2 482.8174514770508,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 484.81153106689453,
:x2 645.5041046142578,
:y2 502.88636016845703,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1805.6873245239258,
:x2 0,
:y2 1827.0485305786133,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1821.6911087036133,
:x2 0,
:y2 1843.0521926879883,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1837.6947708129883,
:x2 0,
:y2 1859.0559768676758,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1853.6985549926758,
:x2 0,
:y2 1875.0597610473633,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 12},
:content {:text "ustaining a certain level of diversity within the population, i.e., ensuring that individuals are scattered in different regions of the search space, increases the chances to find good solutions efficiently"},
:properties {:color "blue"}}
{:id #uuid "64f04926-0b3a-43de-8d7c-098ff286e39b",
:page 12,
:position {:bounding {:x1 0,
:y1 876.2876834869385,
:x2 867.3927764892578,
:y2 2259.150171279907,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 676.4189605712891,
:y1 876.2876834869385,
:x2 866.3651275634766,
:y2 894.362512588501,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 896.3479862213135,
:x2 867.3062896728516,
:y2 914.422815322876,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 916.279993057251,
:x2 867.3927764892578,
:y2 934.3548221588135,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 936.340295791626,
:x2 867.3058624267578,
:y2 954.4151248931885,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 956.2636966705322,
:x2 867.3141632080078,
:y2 974.338586807251,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 976.3326053619385,
:x2 867.3169097900391,
:y2 994.407434463501,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.35499572753906,
:y1 996.2560062408447,
:x2 825.5189971923828,
:y2 1014.3308963775635,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2157.770288467407,
:x2 0,
:y2 2179.131372451782,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2173.773950576782,
:x2 0,
:y2 2195.135278701782,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2189.777856826782,
:x2 0,
:y2 2211.138940811157,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2205.781518936157,
:x2 0,
:y2 2227.142602920532,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2221.785181045532,
:x2 0,
:y2 2243.146509170532,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2237.789087295532,
:x2 0,
:y2 2259.150171279907,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 12},
:content {:text "s a consequence, a lot of candidate solutions (partial or bad) have the same fitness score, thus creating fitness plateaus, i.e., large parts of the fitness landscape where all solutions have the same fitness score even though they are different from one another, and even though some of them are partial solutions [11, 36]"},
:properties {:color "blue"}}
{:id #uuid "64f04958-b8ce-4e75-8a9b-dfc3500ed164",
:page 13,
:position {:bounding {:x1 0,
:y1 568.2964019775391,
:x2 483.67335510253906,
:y2 1330.931655883789,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 459.25709533691406,
:y1 568.2964019775391,
:x2 483.6590118408203,
:y2 586.3712310791016,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 588.3653106689453,
:x2 483.6575469970703,
:y2 606.4401397705078,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 608.2887115478516,
:x2 483.67079162597656,
:y2 626.3635406494141,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 628.3490753173828,
:x2 483.34510803222656,
:y2 646.4239044189453,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 648.2724761962891,
:x2 483.67335510253906,
:y2 666.3473052978516,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.70957946777344,
:y1 668.3413238525391,
:x2 324.56727600097656,
:y2 686.4162139892578,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1245.5553131103516,
:x2 0,
:y2 1266.916519165039,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1261.559097290039,
:x2 0,
:y2 1282.9203033447266,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1277.5628814697266,
:x2 0,
:y2 1298.924087524414,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1293.566665649414,
:x2 0,
:y2 1314.9278717041016,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1309.5704498291016,
:x2 0,
:y2 1330.931655883789,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "We found that partial patches (partial solutions) were quickly discarded in the process due to fitness plateaus. The more errors to correct, the larger the size of the plateaus and the less effective the search for an optimal patch"},
:properties {:color "blue"}}
{:id #uuid "64f04974-0412-4159-8542-6725fc5362c7",
:page 13,
:position {:bounding {:x1 164.59063720703125,
:y1 731.6375350952148,
:x2 350.15150451660156,
:y2 754.0942001342773,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 164.59063720703125,
:y1 731.6375350952148,
:x2 350.15150451660156,
:y2 754.0942001342773,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "Semantic Diversity"},
:properties {:color "green"}}
{:id #uuid "64f04ce5-2234-44d1-9b05-b7a2a1c3c0b4",
:page 13,
:position {:bounding {:x1 320.6484375,
:y1 865.015625,
:x2 388.5259704589844,
:y2 883.515625,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 320.6484375,
:y1 865.015625,
:x2 388.5259704589844,
:y2 883.515625,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "genotypic"},
:properties {:color "green"}}
{:id #uuid "64f04ce9-1989-42b2-8f1e-73a0e939df31",
:page 13,
:position {:bounding {:x1 419.6640625,
:y1 865.015625,
:x2 483.7236633300781,
:y2 883.515625,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 419.6640625,
:y1 865.015625,
:x2 483.7236633300781,
:y2 883.515625,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "syntactic"},
:properties {:color "green"}}
{:id #uuid "64f04cec-84d8-40af-8519-dcf5d9b173f0",
:page 13,
:position {:bounding {:x1 124.703125,
:y1 884.9453125,
:x2 184.7149658203125,
:y2 903.4453125,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 124.703125,
:y1 884.9453125,
:x2 184.7149658203125,
:y2 903.4453125,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "diversity"},
:properties {:color "green"}}
{:id #uuid "64f04cfb-fa92-4a31-a784-4529f72fceda",
:page 13,
:position {:bounding {:x1 0,
:y1 905.0078125,
:x2 483.6663818359375,
:y2 1522.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 297.4337158203125,
:y1 905.0078125,
:x2 483.6630859375,
:y2 923.5078125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 924.9375,
:x2 483.6663818359375,
:y2 943.4375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 945,
:x2 262.67926025390625,
:y2 963.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1485,
:x2 0,
:y2 1506.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1501,
:x2 0,
:y2 1522.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "syntactic diversity would promote patches of variable size and using dissimilar edit operations"},
:properties {:color "blue"}}
{:id #uuid "64f04d24-7758-4430-81cb-cddcc674ff74",
:page 13,
:position {:bounding {:x1 0,
:y1 984.9921875,
:x2 483.6724853515625,
:y2 1586.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 209.4375,
:y1 984.9921875,
:x2 483.3955078125,
:y2 1003.4921875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 1004.9140625,
:x2 483.6724853515625,
:y2 1023.4140625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 1024.9765625,
:x2 308.0859069824219,
:y2 1043.4765625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1549,
:x2 0,
:y2 1570.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1565,
:x2 0,
:y2 1586.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "semantic. This time, it distinguishes individuals based on their behaviors without considering their structure. "},
:properties {:color "green"}}
{:id #uuid "64f04d40-74b6-442a-86c8-b201a7df370a",
:page 13,
:position {:bounding {:x1 0,
:y1 124.859375,
:x2 880.5281982421875,
:y2 1698.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 546.4609375,
:y1 124.859375,
:x2 880.5214233398438,
:y2 143.359375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 144.78125,
:x2 880.5281982421875,
:y2 163.28125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 164.8515625,
:x2 728.1616821289062,
:y2 183.3515625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1661,
:x2 0,
:y2 1682.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1677,
:x2 0,
:y2 1698.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "When targeting semantic errors in transformations, maintaining diversity in transformations’ behaviors is highly relevant"},
:properties {:color "green"}}
{:id #uuid "64f04d62-4666-4847-bfc1-e345f5a7bf9f",
:page 13,
:position {:bounding {:x1 0,
:y1 184.9140625,
:x2 880.5211181640625,
:y2 1730.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 521.5546875,
:y1 184.9140625,
:x2 880.5206298828125,
:y2 203.4140625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 204.8359375,
:x2 880.5211181640625,
:y2 223.3359375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1709,
:x2 0,
:y2 1730.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "understanding the impact of syntactic diversity on the behavior of a program is quite complex [23]."},
:properties {:color "green"}}
{:id #uuid "64f04d71-b9c1-4608-b91d-6217934b4bb6",
:page 13,
:position {:bounding {:x1 0,
:y1 224.90625,
:x2 880.5169677734375,
:y2 1778.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 651.3624267578125,
:y1 224.90625,
:x2 880.5150146484375,
:y2 243.40625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 244.828125,
:x2 880.5169677734375,
:y2 263.328125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 264.890625,
:x2 605.6185302734375,
:y2 283.390625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1741,
:x2 0,
:y2 1762.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1757,
:x2 0,
:y2 1778.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "semantic diversity, which is also known to be more efficient to prevent single fitness peak [4, 40]"},
:properties {:color "green"}}
{:id #uuid "64f04d8b-3d69-43d3-804e-0d10f236bc8f",
:page 13,
:position {:bounding {:x1 0,
:y1 336.453125,
:x2 880.525146484375,
:y2 1858.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 621.119140625,
:y1 336.453125,
:x2 880.525146484375,
:y2 354.953125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 356.375,
:x2 880.5159912109375,
:y2 374.875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 376.4453125,
:x2 880.5189208984375,
:y2 394.9453125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 396.3671875,
:x2 696.4432373046875,
:y2 414.8671875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1805,
:x2 0,
:y2 1826.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1821,
:x2 0,
:y2 1842.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1837,
:x2 0,
:y2 1858.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "ocial diversity measure is to assess a candidate solution not only by examining the solution alone, but also by considering the solution as a part of the population."},
:properties {:color "blue"}}
{:id #uuid "64f04db0-248f-4879-a3dd-46bb07de8af1",
:page 13,
:position {:bounding {:x1 0,
:y1 516.3359375,
:x2 880.5200805664062,
:y2 1986.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 733.6817016601562,
:y1 516.3359375,
:x2 880.5200805664062,
:y2 534.8359375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 536.3984375,
:x2 880.5146484375,
:y2 554.8984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 556.46875,
:x2 599.4188232421875,
:y2 574.96875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1949,
:x2 0,
:y2 1970.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1965,
:x2 0,
:y2 1986.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "t aims at assessing the value a candidate patch brings to the entire population"},
:properties {:color "yellow"}}
{:id #uuid "64f0535a-500e-4f8d-be63-87bdf5c3e879",
:page 13,
:position {:bounding {:x1 0,
:y1 796.40625,
:x2 880.6444091796875,
:y2 2226.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 653.9932861328125,
:y1 796.40625,
:x2 880.6444091796875,
:y2 814.90625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 816.46875,
:x2 880.51708984375,
:y2 834.96875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 836.3984375,
:x2 880.52294921875,
:y2 854.8984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 856.4609375,
:x2 809.68017578125,
:y2 874.9609375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2173,
:x2 0,
:y2 2194.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2189,
:x2 0,
:y2 2210.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2205,
:x2 0,
:y2 2226.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 13},
:content {:text "we propose a social diversity measure relying, not on the number of passing test cases, but on the differences between the obtained output models and the expected ones."},
:properties {:color "blue"}}
{:id #uuid "64f053dc-88bf-4325-a08e-76dc2d0d0aa7",
:page 14,
:position {:bounding {:x1 0,
:y1 124.859375,
:x2 470.47894287109375,
:y2 914.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 205.50662231445312,
:y1 124.859375,
:x2 470.47186279296875,
:y2 143.359375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 144.78125,
:x2 470.4774475097656,
:y2 163.28125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 164.8515625,
:x2 470.476318359375,
:y2 183.3515625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 184.9140625,
:x2 470.47894287109375,
:y2 203.4140625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 204.8359375,
:x2 470.4709167480469,
:y2 223.3359375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 224.90625,
:x2 155.91775512695312,
:y2 243.40625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 829,
:x2 0,
:y2 850.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 845,
:x2 0,
:y2 866.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 861,
:x2 0,
:y2 882.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 877,
:x2 0,
:y2 898.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 893,
:x2 0,
:y2 914.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 14},
:content {:text ". We think that bringing social diversity in our fitness function will help maintain a population of patches addressing different parts of the output models, thus increasing the chances to escape fitness plateaus caused by errors interactions. "},
:properties {:color "green"}}
{:id #uuid "64f05712-d826-4245-bd13-27c03d26239c",
:page 14,
:position {:bounding {:x1 0,
:y1 357.359375,
:x2 470.481689453125,
:y2 1026.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 111.5078125,
:y1 357.359375,
:x2 470.47088623046875,
:y2 375.859375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 377.421875,
:x2 470.481689453125,
:y2 395.921875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 397.3515625,
:x2 409.5172119140625,
:y2 415.8515625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 989,
:x2 0,
:y2 1010.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1005,
:x2 0,
:y2 1026.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 14},
:content {:text "Social diversity is calculated for patches by determining the uniqueness of the errors they address, compared to the rest of the population"},
:properties {:color "green"}}
{:id #uuid "64f0576d-d50e-4035-baa7-64c5fd663a38",
:page 14,
:position {:bounding {:x1 0,
:y1 517.3203125,
:x2 470.4659118652344,
:y2 1154.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 275.5811462402344,
:y1 517.3203125,
:x2 470.18359375,
:y2 535.8203125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 537.3828125,
:x2 470.4659118652344,
:y2 555.8828125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 557.3125,
:x2 152.2287139892578,
:y2 575.8125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1117,
:x2 0,
:y2 1138.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1133,
:x2 0,
:y2 1154.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 14},
:content {:text "The patches which address a unique set of errors are then assigned a better score."},
:properties {:color "purple"}}
{:id #uuid "64f057ac-2a20-4783-9ef3-54095e6c358d",
:page 14,
:position {:bounding {:x1 0,
:y1 697.34375,
:x2 470.498291015625,
:y2 1282.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 136.4140625,
:y1 697.34375,
:x2 470.498291015625,
:y2 715.84375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 717.40625,
:x2 431.22406005859375,
:y2 735.90625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1261,
:x2 0,
:y2 1282.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 14},
:content {:text "A matrix D is constructed to record which of the errors are addressed by each patch"},
:properties {:color "green"}}
{:id #uuid "64f058c4-5a31-457e-a839-59c169abc72f",
:page 15,
:position {:bounding {:x1 0,
:y1 417.6953125,
:x2 483.7465515136719,
:y2 1282.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 124.703125,
:y1 417.6953125,
:x2 483.7465515136719,
:y2 432.6953125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 433.4140625,
:x2 180.952392578125,
:y2 448.4140625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1261,
:x2 0,
:y2 1282.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 15},
:content {:text "Fig. 10 An overview of our model transformation repair approach"},
:properties {:color "yellow"}}
{:id #uuid "64f0591c-a0db-4817-a805-331fc32fb094",
:page 15,
:position {:bounding {:x1 521.5546875,
:y1 179.859375,
:x2 596.7403564453125,
:y2 198.359375,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 521.5546875,
:y1 179.859375,
:x2 596.7403564453125,
:y2 198.359375,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 15},
:content {:text "Automatix"},
:properties {:color "purple"}}
{:id #uuid "64f05a62-4c36-4dcd-b23d-09a8077563a5",
:page 15,
:position {:bounding {:x1 0,
:y1 359.7421875,
:x2 880.5283203125,
:y2 1922.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 546.4609375,
:y1 359.7421875,
:x2 880.5283203125,
:y2 378.2421875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 379.8125,
:x2 880.5166625976562,
:y2 398.3125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 399.734375,
:x2 766.27099609375,
:y2 418.234375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1885,
:x2 0,
:y2 1906.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1901,
:x2 0,
:y2 1922.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 15},
:content {:text "RQ1: What is the impact of social diversity on the effectiveness of the approach (i.e., finding a patch correcting all the errors)?"},
:properties {:color "green"}}
{:id #uuid "64f05a76-dc61-4427-b0e0-93ea56f9484e",
:page 15,
:position {:bounding {:x1 0,
:y1 419.796875,
:x2 880.5572509765625,
:y2 1970.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 546.4609375,
:y1 419.796875,
:x2 880.5572509765625,
:y2 438.296875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 439.7265625,
:x2 880.5228271484375,
:y2 458.2265625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 459.7890625,
:x2 568.1309204101562,
:y2 478.2890625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1933,
:x2 0,
:y2 1954.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1949,
:x2 0,
:y2 1970.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 15},
:content {:text "RQ2: What is the impact of social diversity on the efficiency of the approach (i.e., the convergence time)?"},
:properties {:color "green"}}
{:id #uuid "64f05a7f-2555-4be5-bfdc-dc312cbfc5e3",
:page 15,
:position {:bounding {:x1 0,
:y1 479.8515625,
:x2 880.5283203125,
:y2 2002.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 546.4609375,
:y1 479.8515625,
:x2 880.5283203125,
:y2 498.3515625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 499.78125,
:x2 826.2698974609375,
:y2 518.28125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1981,
:x2 0,
:y2 2002.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 15},
:content {:text "RQ3: What is the impact of social diversity on the type of errors which are corrected?"},
:properties {:color "green"}}
{:id #uuid "64f05ae0-e045-40b6-8a54-1624abd53601",
:page 15,
:position {:bounding {:x1 0,
:y1 869.6484375,
:x2 880.671630859375,
:y2 2338.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 854.4851684570312,
:y1 869.6484375,
:x2 880.5257568359375,
:y2 888.1484375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 889.7109375,
:x2 879.5529174804688,
:y2 908.2109375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 909.640625,
:x2 880.671630859375,
:y2 928.140625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 929.703125,
:x2 878.8546142578125,
:y2 948.203125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 949.6328125,
:x2 671.2554931640625,
:y2 968.1328125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2269,
:x2 0,
:y2 2290.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2285,
:x2 0,
:y2 2306.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2301,
:x2 0,
:y2 2322.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2317,
:x2 0,
:y2 2338.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 15},
:content {:text "We tested each mutant with the AnAtlyser tool [8], which finds a wide range of syntactic errors(including type errors) in ATL transformations using static analysis."},
:properties {:color "green"}}
{:id #uuid "64f05b07-cfc8-4ee8-8d50-d3dc89dd4795",
:page 16,
:position {:bounding {:x1 0,
:y1 124.859375,
:x2 470.6075744628906,
:y2 882.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 392.0311584472656,
:y1 124.859375,
:x2 470.4676818847656,
:y2 143.359375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 144.78125,
:x2 470.6075744628906,
:y2 163.28125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 164.8515625,
:x2 470.46832275390625,
:y2 183.3515625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 184.9140625,
:x2 257.98681640625,
:y2 203.4140625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 829,
:x2 0,
:y2 850.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 845,
:x2 0,
:y2 866.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 861,
:x2 0,
:y2 882.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text "We reused the approach presented in [42] to merge several mutants with one error to obtain mutants with several errors. "},
:properties {:color "green"}}
{:id #uuid "64f05b58-43d9-4368-aab8-df08fba7170c",
:page 16,
:position {:bounding {:x1 0,
:y1 464.84375,
:x2 470.4747009277344,
:y2 1122.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 244.61962890625,
:y1 464.84375,
:x2 470.4747009277344,
:y2 483.34375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 484.90625,
:x2 160.2958221435547,
:y2 503.40625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1101,
:x2 0,
:y2 1122.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text "the properties of input/output object,"},
:properties {:color "green"}}
{:id #uuid "64f05ba6-5bc4-487d-a894-de0c25999c3f",
:page 16,
:position {:bounding {:x1 294.7335205078125,
:y1 444.9140625,
:x2 374.1972961425781,
:y2 463.4140625,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 294.7335205078125,
:y1 444.9140625,
:x2 374.1972961425781,
:y2 463.4140625,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text "arguments"},
:properties {:color "yellow"}}
{:id #uuid "64f05bce-71f8-4344-8106-a75fe6e81f97",
:page 16,
:position {:bounding {:x1 0,
:y1 384.859375,
:x2 470.4722900390625,
:y2 1074.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 193.382080078125,
:y1 384.859375,
:x2 470.4661865234375,
:y2 403.359375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 404.7890625,
:x2 470.4722900390625,
:y2 423.2890625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 424.8515625,
:x2 143.803466796875,
:y2 443.3515625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1037,
:x2 0,
:y2 1058.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1053,
:x2 0,
:y2 1074.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text "We identified nine kinds of elements that could be modified by an atomic edit operation:"},
:properties {:color "yellow"}}
{:id #uuid "64f05c76-57c4-4f49-a8e1-8b6632ba78fe",
:page 16,
:position {:bounding {:x1 0,
:y1 964.5,
:x2 470.4776306152344,
:y2 1538.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 440.39508056640625,
:y1 964.5,
:x2 470.4776306152344,
:y2 983,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 984.5703125,
:x2 470.4640808105469,
:y2 1003.0703125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 1004.6328125,
:x2 470.461669921875,
:y2 1023.1328125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 1024.5546875,
:x2 470.4759826660156,
:y2 1043.0546875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 1044.625,
:x2 185.38125610351562,
:y2 1063.125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1469,
:x2 0,
:y2 1490.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1485,
:x2 0,
:y2 1506.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1501,
:x2 0,
:y2 1522.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1517,
:x2 0,
:y2 1538.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text "four sets with respectively two to five mutants and then merged them in each set to form four faulty transformation mutants with two to five semantic errors. "},
:properties {:color "green"}}
{:id #uuid "64f05cf4-cc04-4566-8a82-c5f3b5876eba",
:page 16,
:position {:bounding {:x1 0,
:y1 378.125,
:x2 867.4432373046875,
:y2 1826.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 513.4259033203125,
:y1 378.125,
:x2 867.4432373046875,
:y2 396.625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 398.0546875,
:x2 867.3321533203125,
:y2 416.5546875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 418.1171875,
:x2 779.6149291992188,
:y2 436.6171875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1789,
:x2 0,
:y2 1810.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1805,
:x2 0,
:y2 1826.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text "n this experiment, we aim at testing social diversity with two configurations separately: as a crowding distance and as an objective"},
:properties {:color "red"}}
{:id #uuid "64f05e2a-f037-4a12-82e2-8f45a40a4421",
:page 16,
:position {:bounding {:x1 0,
:y1 718.109375,
:x2 867.3890991210938,
:y2 2114.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 734.6788940429688,
:y1 718.109375,
:x2 867.3357543945312,
:y2 736.609375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 738.03125,
:x2 867.2937622070312,
:y2 756.53125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 758.1015625,
:x2 867.3890991210938,
:y2 776.6015625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 778.0234375,
:x2 539.0657958984375,
:y2 796.5234375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2061,
:x2 0,
:y2 2082.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2077,
:x2 0,
:y2 2098.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2093,
:x2 0,
:y2 2114.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text " a) without social diversity, b) with social diversity as a crowding distance, and c) with social diversity as an objective."},
:properties {:color "green"}}
{:id #uuid "64f05e48-f850-442f-992a-6f200e1614d9",
:page 16,
:position {:bounding {:x1 0,
:y1 838.078125,
:x2 867.3269653320312,
:y2 2194.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 533.265625,
:y1 838.078125,
:x2 867.3269653320312,
:y2 856.578125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 858,
:x2 867.3234252929688,
:y2 876.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 878.0703125,
:x2 624.97802734375,
:y2 896.5703125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2157,
:x2 0,
:y2 2178.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2173,
:x2 0,
:y2 2194.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text "Note that in our earlier work [41], we only considered approach a), and applied it to two transformations."},
:properties {:color "red"}}
{:id #uuid "64f05e6f-a8e7-4852-aa42-ad18ef49d8ad",
:page 16,
:position {:bounding {:x1 716.9320678710938,
:y1 998.0390625,
:x2 726.2147216796875,
:y2 1016.5390625,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 716.9320678710938,
:y1 998.0390625,
:x2 726.2147216796875,
:y2 1016.5390625,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 16},
:content {:text "f."},
:properties {:color "red"}}
{:id #uuid "64f05edb-f531-404a-8138-d003ece29350",
:page 17,
:position {:bounding {:x1 0,
:y1 490.375,
:x2 483.6762390136719,
:y2 1138.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 149.609375,
:y1 490.375,
:x2 483.6762390136719,
:y2 508.875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 510.4453125,
:x2 483.6665344238281,
:y2 528.9453125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 530.3671875,
:x2 341.78973388671875,
:y2 548.8671875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1101,
:x2 0,
:y2 1122.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1117,
:x2 0,
:y2 1138.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 17},
:content {:text "To answer RQ1, we compare the effectiveness of each configuration, i.e., the number of times a run can find an optimal patch. "},
:properties {:color "green"}}
{:id #uuid "64f05eeb-11e9-4bda-94d3-c9f2efe07e80",
:page 17,
:position {:bounding {:x1 0,
:y1 530.3671875,
:x2 483.66314697265625,
:y2 1170.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 349.89190673828125,
:y1 530.3671875,
:x2 483.3679504394531,
:y2 548.8671875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 550.4296875,
:x2 483.66314697265625,
:y2 568.9296875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 570.359375,
:x2 457.5119323730469,
:y2 588.859375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1133,
:x2 0,
:y2 1154.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1149,
:x2 0,
:y2 1170.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 17},
:content {:text "o answer RQ2, we compare the efficiency of each configuration, i.e., the number of generations necessary for a run"},
:properties {:color "green"}}
{:id #uuid "64f05ef8-d659-4183-8af8-620a00d37379",
:page 17,
:position {:bounding {:x1 414.1913757324219,
:y1 610.484375,
:x2 483.6793518066406,
:y2 628.984375,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 414.1913757324219,
:y1 610.484375,
:x2 483.6793518066406,
:y2 628.984375,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 17},
:content {:text "manually"},
:properties {:color "yellow"}}
{:id #uuid "64f061ee-adc3-4487-9b6e-519eb81bc31c",
:page 17,
:position {:bounding {:x1 0,
:y1 760.484375,
:x2 483.67083740234375,
:y2 1330.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 124.703125,
:y1 760.484375,
:x2 483.67083740234375,
:y2 778.984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 780.546875,
:x2 471.3224182128906,
:y2 799.046875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 124.703125,
:y1 800.4765625,
:x2 472.8473815917969,
:y2 818.9765625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1293,
:x2 0,
:y2 1314.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1309,
:x2 0,
:y2 1330.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 17},
:content {:text "RQ1: What is the impact of social diversity on the effectiveness of the approach (i.e., finding a patch correcting all the errors)?"},
:properties {:color "green"}}
{:id #uuid "64f06315-9c56-4a03-be89-2d3b747b32fb",
:page 17,
:position {:bounding {:x1 0,
:y1 1050.375,
:x2 880.5601196289062,
:y2 2194.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 546.4609375,
:y1 1050.375,
:x2 880.5601196289062,
:y2 1068.875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 1070.4375,
:x2 880.515380859375,
:y2 1088.9375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 1090.3671875,
:x2 880.52197265625,
:y2 1108.8671875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 521.5546875,
:y1 1110.4296875,
:x2 718.7646484375,
:y2 1128.9296875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2141,
:x2 0,
:y2 2162.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2157,
:x2 0,
:y2 2178.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2173,
:x2 0,
:y2 2194.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 17},
:content {:text "We can conclude that using social diversity both as crowding distance and as objective improves the correction of larger number of errors at the same time"},
:properties {:color "blue"}}
{:id #uuid "64f06324-edb2-4881-a9b0-0072faf5ead0",
:page 18,
:position {:bounding {:x1 0,
:y1 515.4921875,
:x2 464.1130065917969,
:y2 1490.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 111.5078125,
:y1 515.4921875,
:x2 399.06243896484375,
:y2 533.9921875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 535.421875,
:x2 464.1130065917969,
:y2 553.921875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 555.484375,
:x2 350.6041259765625,
:y2 573.984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1453,
:x2 0,
:y2 1474.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1469,
:x2 0,
:y2 1490.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 18},
:content {:text "RQ2: What is the impact of social diversity on the efficiency of the approach(i.e., the convergence time)?"},
:properties {:color "green"}}
{:id #uuid "64f06470-20d6-40cd-808e-fb43a142ebe3",
:page 18,
:position {:bounding {:x1 0,
:y1 800.4765625,
:x2 470.4751892089844,
:y2 1730.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 286.77618408203125,
:y1 800.4765625,
:x2 470.468505859375,
:y2 818.9765625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 820.3984375,
:x2 470.4751892089844,
:y2 838.8984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 840.4609375,
:x2 470.4683532714844,
:y2 858.9609375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 860.390625,
:x2 252.0557861328125,
:y2 878.890625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1677,
:x2 0,
:y2 1698.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1693,
:x2 0,
:y2 1714.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1709,
:x2 0,
:y2 1730.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 18},
:content {:text "Fig. 12 shows that social diversity improves its efficiency. Here again, social diversity as an objective give better results than as a crowding distance"},
:properties {:color "green"}}
{:id #uuid "64f0647e-5333-4bb0-9121-3fcaeec6c4bf",
:page 18,
:position {:bounding {:x1 0,
:y1 715.4453125,
:x2 867.3338623046875,
:y2 2146.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 533.265625,
:y1 715.4453125,
:x2 867.3338623046875,
:y2 733.9453125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 735.5078125,
:x2 867.32666015625,
:y2 754.0078125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 755.4296875,
:x2 704.5283813476562,
:y2 773.9296875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2109,
:x2 0,
:y2 2130.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2125,
:x2 0,
:y2 2146.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 18},
:content {:text "Thus, we conclude that using a social diversity measure helps the approach find the optimal solutions faster"},
:properties {:color "blue"}}
{:id #uuid "64f0648d-b445-4f3f-a4b2-99ce49efe735",
:page 18,
:position {:bounding {:x1 0,
:y1 795.484375,
:x2 840.2506103515625,
:y2 2194.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 546.8719482421875,
:y1 795.484375,
:x2 822.7686767578125,
:y2 817.484375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 548.1484375,
:y1 818.7734375,
:x2 840.2506103515625,
:y2 840.7734375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 548.1484375,
:y1 842.2109375,
:x2 817.0464477539062,
:y2 864.2109375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2157,
:x2 0,
:y2 2178.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2173,
:x2 0,
:y2 2194.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 18},
:content {:text "RQ3: What is the impact of social diversity on the type of errors which are corrected?"},
:properties {:color "green"}}
{:id #uuid "64f064e9-9ee1-4abb-993a-99039d4a88f8",
:page 20,
:position {:bounding {:x1 373.87554931640625,
:y1 599.546875,
:x2 431.6216125488281,
:y2 618.046875,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 373.87554931640625,
:y1 599.546875,
:x2 431.6216125488281,
:y2 618.046875,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 20},
:content {:text "(semi-) "},
:properties {:color "yellow"}}
{:id #uuid "64f06542-38f6-4f83-89e4-20387cd5c12f",
:page 20,
:position {:bounding {:x1 0,
:y1 739.578125,
:x2 470.4750671386719,
:y2 1298.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 443.0787048339844,
:y1 739.578125,
:x2 470.4750671386719,
:y2 758.078125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 759.640625,
:x2 470.4696960449219,
:y2 778.140625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 779.5703125,
:x2 399.09283447265625,
:y2 798.0703125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1261,
:x2 0,
:y2 1282.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1277,
:x2 0,
:y2 1298.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 20},
:content {:text "Our results show that this leads to finding optimal solutions faster than our earlier work"},
:properties {:color "purple"}}
{:id #uuid "64f06559-cbb7-4176-ae76-0601daef2b53",
:page 20,
:position {:bounding {:x1 0,
:y1 932.7890625,
:x2 469.47601318359375,
:y2 1410.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 111.5078125,
:y1 932.7890625,
:x2 469.47601318359375,
:y2 951.2890625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 111.5078125,
:y1 952.859375,
:x2 463.80340576171875,
:y2 971.359375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1389,
:x2 0,
:y2 1410.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 20},
:content {:text "A limitation of our approach is that we are fixing ATL transformation rules, not the helpers"},
:properties {:color "purple"}}
{:id #uuid "64f0658e-2aea-436d-9b44-80f507ced42a",
:page 20,
:position {:bounding {:x1 0,
:y1 755.5703125,
:x2 867.3242797851562,
:y2 2066.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 570.2762451171875,
:y1 755.5703125,
:x2 867.021728515625,
:y2 774.0703125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 775.640625,
:x2 867.3242797851562,
:y2 794.140625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 795.5625,
:x2 715.0064697265625,
:y2 814.0625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2029,
:x2 0,
:y2 2050.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2045,
:x2 0,
:y2 2066.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 20},
:content {:text "These transformations may not be fully representative with real-world transformations in terms of size and complexity."},
:properties {:color "green"}}
{:id #uuid "64f06593-1517-4feb-8e1e-2c9da033f20a",
:page 20,
:position {:bounding {:x1 0,
:y1 795.5625,
:x2 867.333984375,
:y2 2114.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 791.151611328125,
:y1 795.5625,
:x2 867.3270263671875,
:y2 814.0625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 815.625,
:x2 867.333984375,
:y2 834.125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 835.6953125,
:x2 867.3238525390625,
:y2 854.1953125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 855.6171875,
:x2 812.5646362304688,
:y2 874.1171875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2061,
:x2 0,
:y2 2082.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2077,
:x2 0,
:y2 2098.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 2093,
:x2 0,
:y2 2114.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 20},
:content {:text "we believe that the set of four model transformations used in our experiments is sufficiently representative to demonstrate the benefits of our approach."},
:properties {:color "green"}}
{:id #uuid "64f065cd-1991-4010-b37b-d9a80ab48fa3",
:page 22,
:position {:bounding {:x1 0,
:y1 446.4609375,
:x2 867.3289794921875,
:y2 1874.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 808.4515380859375,
:y1 446.4609375,
:x2 867.3167114257812,
:y2 464.9609375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 466.5234375,
:x2 867.3289794921875,
:y2 485.0234375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 486.453125,
:x2 867.3189697265625,
:y2 504.953125,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 506.515625,
:x2 576.2034301757812,
:y2 525.015625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1821,
:x2 0,
:y2 1842.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1837,
:x2 0,
:y2 1858.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1853,
:x2 0,
:y2 1874.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 22},
:content {:text "We dedicate an objective which gives a score based on the notion of social diversity that we defined on model difference"},
:properties {:color "blue"}}
{:id #uuid "64f065e1-99cf-4236-9908-aecd78094196",
:page 22,
:position {:bounding {:x1 0,
:y1 606.421875,
:x2 867.448486328125,
:y2 2018.5,
:width 992.1266666666666,
:height 1403.1499999999999},
:rects ({:x1 727.53857421875,
:y1 606.421875,
:x2 867.3224487304688,
:y2 624.921875,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 626.484375,
:x2 867.3295288085938,
:y2 644.984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 646.40625,
:x2 867.3201293945312,
:y2 664.90625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 666.4765625,
:x2 867.448486328125,
:y2 684.9765625,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 508.359375,
:y1 686.3984375,
:x2 825.164306640625,
:y2 704.8984375,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1949,
:x2 0,
:y2 1970.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1965,
:x2 0,
:y2 1986.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1981,
:x2 0,
:y2 2002.5,
:width 992.1266666666666,
:height 1403.1499999999999}
{:x1 0,
:y1 1997,
:x2 0,
:y2 2018.5,
:width 992.1266666666666,
:height 1403.1499999999999}),
:page 22},
:content {:text "Our results showed that injecting our social diversity measure in the search process improves both the effectiveness and the efficiency, and enables to find patches for transformations containing up to five errors"},
:properties {:color "blue"}}],
:extra {:page 21}}
Reference in New Issue View Git Blame Copy Permalink