Finding compiler bugs via live code mutation
Coverage-directed differential testing of JVM implementations