• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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