Login / Signup

SARL: OO Framework Specification for Static Analysis.

Pietro FerraraLuca Negrini
Published in: VSTTE (2020)
Keyphrases
  • static analysis
  • abstract interpretation
  • object oriented
  • dynamic analysis
  • conceptual model
  • conceptual modeling
  • databases
  • real world
  • high level
  • data model
  • data warehouse
  • conceptual models
  • test case generation