Login / Signup

Static Analysis Techniques for Predicting the Behavior of Active Database Rules.

Alexander AikenJoseph M. HellersteinJennifer Widom
Published in: ACM Trans. Database Syst. (1995)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • symbolic execution
  • reverse engineering
  • malicious code
  • abstract interpretation
  • java card
  • test generation
  • regular expressions
  • databases
  • case study
  • test suite