Collective risk minimization via a bayesian model for statistical software testing.
Joachim HänselChristian M. AdrianoJohannes DyckHolger GiesePublished in: SEAMS@ICSE (2020)
Keyphrases
- bayesian model
- software testing
- risk minimization
- test cases
- software development
- loss function
- bayesian inference
- software systems
- conditional probabilities
- posterior distribution
- bayesian framework
- software engineering
- test suite
- generalization error
- multi task learning
- bayesian networks
- image segmentation
- formal specification
- test set