Login / Signup

Formal Framework for Reasoning About the Precision of Dynamic Analysis.

Mila Dalla PredaRoberto GiacobazziNiccolò Marastoni
Published in: SAS (2020)
Keyphrases
  • dynamic analysis
  • main contribution
  • theoretical framework
  • formal model
  • search engine
  • bayesian networks
  • data model
  • probabilistic model
  • precision and recall
  • abstract interpretation