Login / Signup

Interprocedural Static Analysis of Sequencing Constraints.

Kurt M. OlenderLeon J. Osterweil
Published in: ACM Trans. Softw. Eng. Methodol. (1992)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • symbolic execution
  • malicious code
  • test generation
  • constraint satisfaction
  • regular expressions
  • java card
  • abstract interpretation
  • open source
  • pattern matching
  • test suite