High‐coverage metamorphic testing of concurrency support in C compilers. - Windsor, Matt; Donaldson, Alastair F.; Wickerson, John (Software Testing: Verification & Reliability, 2022)