Guided Model Checking with a Bayesian Meta-heuristic

Kevin D. Seppi
Michael D. Jones
Peter Lamborn
[Bibtex]