Property-based testing of privileged programs

George Fink, Karl N. Levitt. Property-based testing of privileged programs. In 10th Annual Computer Security Applications Conference, ACSAC 1994, 5-9 December, 1994 Orlando, FL, USA. pages 154-163, IEEE, 1994. [doi]

Abstract

Abstract is missing.