Probabilistic programming for Java using symbolic execution and model counting.
Willem VisserCorina S. PasareanuPublished in: SAICSIT (2017)
Keyphrases
- symbolic execution
- programming language
- source code
- model counting
- specification language
- test generation
- static analysis
- test data generation
- open source
- satisfiability testing
- general purpose
- knowledge compilation
- data flow
- artificial intelligence
- object oriented
- bayesian networks
- database applications
- state space
- probabilistic model
- learning algorithm