Login / Signup

Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?

Marwan Abi-AntounSumukhi ChandrashekarRadu VanciuAndrew Giang
Published in: SCAM (2014)
Keyphrases
  • abstract interpretation
  • static analysis
  • termination analysis
  • source code
  • data objects
  • dynamic analysis
  • management system
  • active rules
  • relational databases
  • test set
  • complex objects
  • data flow