Property-based testing of privileged programs (1994)

by George Fink, Karl Levitt
Venue:In Proceedings of the 10th Annual Computer Security Applications Conference