Property-Based Testing of Privileged Programs (1994)

by G Fink, K Levitt
Venue:Proceedings of the Tenth Annual Computer Security Applications Conference