Hacker News new | ask | show | jobs
by mightyhops 3637 days ago
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.