Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
@inproceedings{DBLP:conf/kbse/Even-MendozaCD20,
author = {Karine Even{-}Mendoza and
Cristian Cadar and
Alastair F. Donaldson},
title = {Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {1219-1223},
publisher = {{IEEE}},
year = {2020},
doi = {10.1145/3324884.3418933},
}