Guided Model Checking with a Bayesian Meta-heuristic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kevin D. Seppi, Michael Jones, Peter Lamborn. Guided Model Checking with a Bayesian Meta-heuristic. In 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada. pages 217-226, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Kevin D. Seppi' in GoogleThis author has not been identified. Look up 'Michael Jones' in GoogleThis author has not been identified. Look up 'Peter Lamborn' in Google

runs on WebDSL