Login / Signup

Improving Static Analyses of C Programs with Conditional Predicates.

Sandrine BlazyDavid BühlerBoris Yakobowski
Published in: FMICS (2014)
Keyphrases
  • statistical analysis
  • case study
  • multiscale
  • user defined
  • programming environment
  • real time
  • data sets
  • machine learning
  • high level
  • bayesian networks
  • function symbols
  • random field model
  • probabilistic logic programs