Concepedia

G. Fink

GF

Statistics

Publications

3

Citations

366

H-Index

3

Active since

1997

Affiliations

University of California, Davis(Current)

G. Fink is an author at University of California, Davis specializing in formal methods, software testing, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringVerificationData Security

Publications per year

1997–2002

3

Publications

3

Automated detection of vulnerabilities in privileged programs by execution monitoring

Calvin Ko, G. Fink, Karl Levitt · 2002 · 207 citations

Engineering, Misuse Behavior, Information Security +20

Property-based testing

G. Fink, Matt Bishop · ACM SIGSOFT Software Engineering Notes · 1997 · 129 citations · Full text

Software Maintenance, Engineering, Verification +16

Property-based testing of privileged programs

G. Fink, Karl Levitt · 2002 · 30 citations

Engineering, Verification, Software Engineering +18

1–3 of 3