Randomised Testing of the Compiler for a Verification-Aware Programming Language. - Alastair F. Donaldson; Dilan Sheth; Jean-Baptiste Tristan; Alex Usher (ICST, 2024)