Code coverage extension