Bug Localization in Test-Driven Development

<table>The proposed approach. <svg height="14.3625" id="M11" style="vertical-align:-3.2316pt" version="1.1" viewbox="0 0 12.75 14.3625" width="12.75" xmlns="http://www.w3.org/2000/svg">
<g transform="matrix(1.25,0,0,-1.25,0,14.3625)">
<g transform="translate(72,-60.51)">
<text transform="matrix(1,0,0,-1,-71.95,63.79)">
<tspan style="font-size: 12.50px; " x="0" y="0">𝑇</tspan>
</text>
<text transform="matrix(1,0,0,-1,-65.07,60.66)">
<tspan style="font-size: 8.75px; " x="0" y="0">𝑖</tspan>
</text>
</g>
</g>
</svg> are test cases, <svg height="14.3625" id="M12" style="vertical-align:-3.2316pt" version="1.1" viewbox="0 0 15.3125 14.3625" width="15.3125" xmlns="http://www.w3.org/2000/svg">
<g transform="matrix(1.25,0,0,-1.25,0,14.3625)">
<g transform="translate(72,-60.51)">
<text transform="matrix(1,0,0,-1,-71.95,63.79)">
<tspan style="font-size: 12.50px; " x="0" y="0">𝐸</tspan>
</text>
<text transform="matrix(1,0,0,-1,-63.02,60.66)">
<tspan style="font-size: 8.75px; " x="0" y="0">𝑖</tspan>
</text>
</g>
</g>
</svg> are execution traces resulting from tests execution, and <svg height="14.3625" id="M13" style="vertical-align:-3.2316pt" version="1.1" viewbox="0 0 19.862499 14.3625" width="19.862499" xmlns="http://www.w3.org/2000/svg">
<g transform="matrix(1.25,0,0,-1.25,0,14.3625)">
<g transform="translate(72,-60.51)">
<text transform="matrix(1,0,0,-1,-71.95,63.79)">
<tspan style="font-size: 12.50px; " x="0" y="0">𝑀</tspan>
</text>
<text transform="matrix(1,0,0,-1,-59.38,60.66)">
<tspan style="font-size: 8.75px; " x="0" y="0">𝑖</tspan>
</text>
</g>
</g>
</svg> are the inferred models. <svg height="14.3625" id="M14" style="vertical-align:-3.2316pt" version="1.1" viewbox="0 0 13.1375 14.3625" width="13.1375" xmlns="http://www.w3.org/2000/svg">
<g transform="matrix(1.25,0,0,-1.25,0,14.3625)">
<g transform="translate(72,-60.51)">
<text transform="matrix(1,0,0,-1,-71.95,63.79)">
<tspan style="font-size: 12.50px; " x="0" y="0">𝑉</tspan>
</text>
<text transform="matrix(1,0,0,-1,-64.76,60.66)">
<tspan style="font-size: 8.75px; " x="0" y="0">𝑖</tspan>
</text>
</g>
</g>
</svg> are the final list of violations.</table>

Advances in Software Engineering

Bug Localization in Test-Driven Development

Figure 2