Randomised Testing of the Compiler for a Verification-Aware Programming Language.

Alastair F. Donaldson, Dilan Sheth, Jean-Baptiste Tristan, Alex Usher

Browse the full ICST paper archive.