BibTex format
@article{Windsor:2022:10.1002/stvr.1812,
author = {Windsor, M and Donaldson, AF and Wickerson, J},
doi = {10.1002/stvr.1812},
journal = {SOFTWARE TESTING VERIFICATION & RELIABILITY},
title = {High-coverage metamorphic testing of concurrency support in C compilers},
url = {http://dx.doi.org/10.1002/stvr.1812},
volume = {32},
year = {2022}
}