Login / Signup

Industrial perspective on static analysis.

Brian A. WichmannA. A. CanningD. L. ClutterbuckL. A. WinsborrowN. J. WardD. William R. Marsh
Published in: Softw. Eng. J. (1995)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • symbolic execution
  • malicious code
  • abstract interpretation
  • regular expressions
  • java card
  • industrial applications
  • test generation
  • query language
  • decision trees