Sign in

Static Analysis.

Agostino CortesiGilberto Filé
Published in: Sci. Comput. Program. (2003)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • malicious code
  • symbolic execution
  • abstract interpretation
  • regular expressions
  • test generation
  • java card
  • test suite
  • test case generation
  • database
  • data management