Finding and Understanding Bugs in C Compilers

Our summary

The landmark differential-testing study: by feeding randomly generated programs to multiple C compilers and comparing outputs, the authors found hundreds of bugs with no oracle beyond 'the compilers should agree'.

Why it matters

The template for differential testing — disagreement between independent systems on the same input is itself a defect signal, directly applicable across LLMs.

Cited by these methods

Cite this