TY  - RPRT
TI  - Testing Noninterference, Quickly
AU  - Catalin Hritcu
AU  - Leonidas Lampropoulos
AU  - Antal Spector-Zabusky
AU  - Arthur Azevedo de Amorim
AU  - Maxime Dénès
AU  - John Hughes
AU  - Benjamin C. Pierce
AU  - Dimitrios Vytiniotis
PY  - 2015
DO  - 10.1017/s0956796816000058
UR  - https://arxiv.org/abs/1409.0393
ID  - 1409.0393
ER  -