Testing noninterference, quickly
Journal article, 2013
Author
C. Hritcu
University of Pennsylvania
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Benjamin C. Pierce
University of Pennsylvania
A. Spector-Zabusky
University of Pennsylvania
D. Vytiniotis
Microsoft Research
A.A.D. Amorim
University of Pennsylvania
L. Lampropoulos
University of Pennsylvania
ACM SIGPLAN Notices
1523-2867 (ISSN)
Vol. 48 9 455-468978-1-4503-2326-0 (ISBN)
Subject Categories
Software Engineering
DOI
10.1145/2500365.2500574
ISBN
978-1-4503-2326-0