Is Code Coverage a Silver Bullet?