154 lines
8.4 KiB
Clojure
154 lines
8.4 KiB
Clojure
{:highlights [{:id #uuid "6499b7c3-0e05-42b2-885f-5bdd4a47ac45",
|
|
:page 1,
|
|
:position {:bounding {:x1 0,
|
|
:y1 542,
|
|
:x2 480.0352020263672,
|
|
:y2 663.515625,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998},
|
|
:rects ({:x1 0,
|
|
:y1 542,
|
|
:x2 0,
|
|
:y2 562,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 0,
|
|
:y1 558,
|
|
:x2 0,
|
|
:y2 578,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 170.16612243652344,
|
|
:y1 607.59375,
|
|
:x2 480.0337371826172,
|
|
:y2 625.2604370117188,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 78.33854675292969,
|
|
:y1 626.71875,
|
|
:x2 480.0352020263672,
|
|
:y2 644.3854370117188,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 78.33854675292969,
|
|
:y1 645.8489685058594,
|
|
:x2 380.07810974121094,
|
|
:y2 663.515625,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}),
|
|
:page 1},
|
|
:content {:text "Second, the target programs under repair should have a test suite specifying their correct behavior and, at least, one failing test case that exposes the bug. "},
|
|
:properties {:color "green"}}
|
|
{:id #uuid "6499b7da-6f01-4a09-86d4-666b295d740d",
|
|
:page 1,
|
|
:position {:bounding {:x1 0,
|
|
:y1 654,
|
|
:x2 480.03662109375,
|
|
:y2 779.2708435058594,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998},
|
|
:rects ({:x1 0,
|
|
:y1 654,
|
|
:x2 0,
|
|
:y2 674,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 181.9893798828125,
|
|
:y1 742.4739685058594,
|
|
:x2 480.03662109375,
|
|
:y2 760.140625,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 78.33854675292969,
|
|
:y1 761.6041870117188,
|
|
:x2 424.8967742919922,
|
|
:y2 779.2708435058594,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}),
|
|
:page 1},
|
|
:content {:text "we propose a purely static method to evaluate the potential of the search space of repair approache"},
|
|
:properties {:color "green"}}
|
|
{:id #uuid "6499b81c-2ec8-4f11-a50b-8e8fd6a0c96d",
|
|
:page 1,
|
|
:position {:bounding {:x1 0,
|
|
:y1 686,
|
|
:x2 480.0344696044922,
|
|
:y2 836.6510620117188,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998},
|
|
:rects ({:x1 0,
|
|
:y1 686,
|
|
:x2 0,
|
|
:y2 706,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 0,
|
|
:y1 702,
|
|
:x2 0,
|
|
:y2 722,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 433.17779541015625,
|
|
:y1 780.7291870117188,
|
|
:x2 480.0334167480469,
|
|
:y2 798.3958435058594,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 78.33854675292969,
|
|
:y1 799.859375,
|
|
:x2 480.0344696044922,
|
|
:y2 817.5260620117188,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 78.33854675292969,
|
|
:y1 818.984375,
|
|
:x2 194.65074157714844,
|
|
:y2 836.6510620117188,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}),
|
|
:page 1},
|
|
:content {:text "the set of all program patches that can be potentially generated by a repair approach"},
|
|
:properties {:color "green"}}
|
|
{:id #uuid "6499b85a-1447-4e53-b25e-53da9c7b5e20",
|
|
:page 1,
|
|
:position {:bounding {:x1 0,
|
|
:y1 862,
|
|
:x2 480.03172302246094,
|
|
:y2 1047.0625,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998},
|
|
:rects ({:x1 0,
|
|
:y1 862,
|
|
:x2 0,
|
|
:y2 882,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 0,
|
|
:y1 878,
|
|
:x2 0,
|
|
:y2 898,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 232.2612762451172,
|
|
:y1 991.140625,
|
|
:x2 480.02423095703125,
|
|
:y2 1008.8073120117188,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 78.33854675292969,
|
|
:y1 1010.2708740234375,
|
|
:x2 480.03172302246094,
|
|
:y2 1027.9375,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}
|
|
{:x1 78.33854675292969,
|
|
:y1 1029.3958740234375,
|
|
:x2 212.97216796875,
|
|
:y2 1047.0625,
|
|
:width 979.1999999999999,
|
|
:height 1267.1999999999998}),
|
|
:page 1},
|
|
:content {:text "LIGHTER gets a Git repository and outputs a list of commits whose source code changes lie in repair search spaces."},
|
|
:properties {:color "green"}}],
|
|
:extra {:page 1}}
|