by Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce and Dimitrios Vytiniotis
Reference:
Testing Noninterference, Quickly (Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce and Dimitrios Vytiniotis), In Journal of Functional Programming (JFP); Special issue for ICFP 2013, volume 26, 2016.
Bibtex Entry:
@article{testing_ni_jfp,
author = {Catalin Hritcu and
Leonidas Lampropoulos and
Antal Spector-Zabusky and
Arthur {Azevedo de Amorim} and
Maxime D\'{e}n\`{e}s and
John Hughes and
Benjamin C. Pierce and
Dimitrios Vytiniotis},
title = {Testing Noninterference, Quickly},
journal = {Journal of Functional Programming (JFP); Special issue for ICFP 2013},
shortjournal = {JFP},
volume = {26},
year = {2016},
month = apr,
issn = {1469-7653},
pages = {e4 (62 pages)},
doi = {http://dx.doi.org/10.1017/S0956796816000058},
ee = {http://journals.cambridge.org/article_S0956796816000058},
url = {http://arxiv.org/abs/1409.0393},
}