A slightly more approachable introduction to EMI-based testing: http://blog.regehr.org/archives/1161 (Found while googling around for the actual Orion tool mentioned in the EMI papers.)

Very neat ideas. As the regehr.org article points out, it's particularly impressive that 110 of the 147 found compiler bugs were actually fixed.