George Fink

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

George Fink, Matt Bishop
Property-based testing: a new approach to testing for assurance. ACM SIGSOFT Softw. Eng. Notes 22 (4) (1997)
George Fink, Karl N. Levitt
Property-based testing of privileged programs. ACSAC (1994)
Calvin Ko, George Fink, Karl N. Levitt
Automated detection of vulnerabilities in privileged programs by execution monitoring. ACSAC (1994)
Myla Archer, George Fink, Lie Yang
Linking Other Theorem Provers to HOL Using PM: Proof Manager. TPHOLs (1992)
Raymond W. Lo, P. Kerchen, Richard H. Crawford, W. Wilson Ho, J. Crossley, George Fink, Karl N. Levitt, Ronald A. Olsson, Myla Archer
Towards a testbed for malicious code detection. Compcon (1991)
George Fink, Myla Archer, Lie Yang
PM: A Proof Manager for HOL and Other Provers. TPHOLs (1991)