Static Analysis for Probabilistic Programs.

Published in: CoRR (2019)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
malicious code
test generation
probabilistic model
regular expressions
test suite
database
knowledge base
bayesian networks
java card
artificial intelligence
case study