@article{DBLP:journals/stvr/WindsorDW22,
author = {Matt Windsor and
Alastair F. Donaldson and
John Wickerson},
title = {High-coverage metamorphic testing of concurrency support in {C} compilers},
journal = {Softw. Test. Verification Reliab.},
volume = {32},
number = {4},
year = {2022},
doi = {10.1002/STVR.1812},
}