Figure 1From: Towards Preserving Model Coverage and Structural Code Coverage Coverage-preserving program transformation. Back to article page