Guided model checking with a bayesian meta-heuristic (2006)

by K Seppi, M Jones, P Lamborn
Venue:Fundamenta Informaticae