Figure 6From: Towards Preserving Model Coverage and Structural Code Coverage Example: loop inversion. Back to article page