{"_id":"duukqBgY3ALeeo7Sp","bibbaseid":"windsor-donaldson-wickerson-highcoveragemetamorphictestingofconcurrencysupportinccompilers-2022","author_short":["Windsor, M.","Donaldson, A. F.","Wickerson, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Windsor"],"firstnames":["Matt"],"suffixes":[]},{"propositions":[],"lastnames":["Donaldson"],"firstnames":["Alastair","F."],"suffixes":[]},{"propositions":[],"lastnames":["Wickerson"],"firstnames":["John"],"suffixes":[]}],"title":"High-coverage metamorphic testing of concurrency support in C compilers","journal":"Software Testing, Verification and Reliability","acronym":"STVR","year":"2022","doi":"10.1002/stvr.1812","url_blog_post":"https://johnwickerson.wordpress.com/2021/06/09/c4/","url_manuscript":"papers/c4_stvr.pdf","bibtex":"@article{c4_journal,\nauthor = {Windsor, Matt and Donaldson, Alastair F. and Wickerson, John},\ntitle = {High-coverage metamorphic testing of concurrency support in {C} compilers},\njournal = {Software Testing, Verification and Reliability},\nacronym = {STVR},\nyear = {2022},\ndoi = {10.1002/stvr.1812},\nurl_blog_post = {https://johnwickerson.wordpress.com/2021/06/09/c4/},\nurl_manuscript = {papers/c4_stvr.pdf},\n}\n\n","author_short":["Windsor, M.","Donaldson, A. F.","Wickerson, J."],"key":"c4_journal","id":"c4_journal","bibbaseid":"windsor-donaldson-wickerson-highcoveragemetamorphictestingofconcurrencysupportinccompilers-2022","role":"author","urls":{" blog post":"https://johnwickerson.wordpress.com/2021/06/09/c4/"," manuscript":"http://johnwickerson.github.io/papers/c4_stvr.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"http://johnwickerson.github.io/john.bib","dataSources":["uwKsyN4JQqFqb3dfX"],"keywords":[],"search_terms":["high","coverage","metamorphic","testing","concurrency","support","compilers","windsor","donaldson","wickerson"],"title":"High-coverage metamorphic testing of concurrency support in C compilers","year":2022}