Aliasing-free error detection (ALFRED).

Krishnendu Chakrabarty, John P. Hayes

Browse the full VTS paper archive.