Static analysis for probabilistic programs: inferring whole program properties from finitely many paths.
Sriram SankaranarayananAleksandar ChakarovSumit GulwaniPublished in: PLDI (2013)
Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- source code
- abstract interpretation
- test generation
- imperative programs
- malicious code
- java card
- probabilistic model
- regular expressions
- computer programs
- test suite
- bayesian networks
- api calls
- programming environment
- inductive inference
- control program
- databases
- open source
- object oriented
- relational databases
- case study
- real world