Test-case reduction and deduplication almost for free with transformation-based compiler testing.

Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, Andr Perez Maselco, Antoni Karpinski

Browse the full PLDI paper archive.