Coverage directed test generation for functional verification using Bayesian networks
Learning Dynamic Bayesian Networks