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 (PLDI, 2021)