Storm: program reduction for testing and debugging probabilistic programming systems.
Saikat DuttaWenxian ZhangZixin HuangSasa MisailovicPublished in: ESEC/SIGSOFT FSE (2019)
Keyphrases
- programming environments
- programming environment
- novice programmers
- computer programs
- management system
- test cases
- artificial intelligence
- hardware designs
- complex systems
- learning systems
- programming language
- expert systems
- bayesian networks
- distributed systems
- probabilistic model
- retrieval systems
- long term
- computer programming
- program understanding
- high level
- data sets
- concurrent programs