Are there any studies showing that mutation testing significantly reduces the amount of bugs released ?