Randomised Testing of the Compiler for a Verification-Aware Programming Language
@inproceedings{DBLP:conf/icst/DonaldsonSTU24,
author = {Alastair F. Donaldson and
Dilan Sheth and
Jean{-}Baptiste Tristan and
Alex Usher},
title = {Randomised Testing of the Compiler for a Verification-Aware Programming Language},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2024, Toronto, ON, Canada, May 27-31, 2024},
pages = {407-418},
publisher = {{IEEE}},
year = {2024},
doi = {10.1109/ICST60714.2024.00044},
}