Figure 7From: Towards Preserving Model Coverage and Structural Code Coverage Coverage preservation of loop inversion. Back to article page