Login / Signup

An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer.

Maria ChristakisPeter MüllerValentin Wüstholz
Published in: VMCAI (2015)
Keyphrases
  • experimental evaluation
  • dynamic analysis
  • computer programs
  • static analysis
  • decision making
  • three dimensional
  • multiscale
  • data model