Property-based testing of privileged programs.

George Fink, Karl N. Levitt

Browse the full ACSAC paper archive.