Login / Signup

Property-based testing of privileged programs.

George FinkKarl N. Levitt
Published in: ACSAC (1994)
Keyphrases
  • symbolic execution
  • real world
  • data mining
  • test cases
  • programming environment
  • set of test cases