A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Testing noninterference, quickly
2013
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
Information-flow control mechanisms are difficult to design and labor intensive to prove correct. To reduce the time wasted on proof attempts doomed to fail due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the design process. We show how to use QuickCheck, a property-based random-testing tool, to guide the design of a simple information-flow abstract machine. We find that both sophisticated strategies for generating well-distributed
doi:10.1145/2500365.2500574
dblp:conf/icfp/HritcuHPSVAL13
fatcat:xg5leydmkfa3tjv6snaufbm2xe