@article{Seppi:2006:GMC:2367636.2367641, month={apr}, link={http://dl.acm.org/citation.cfm?id=2367636.2367641}, address={Amsterdam, The Netherlands, The Netherlands}, number={1,2}, volume={70}, author={Seppi, Kevin and Jones, Michael and Lamborn, Peter}, issn={0169-2968}, pages={111–126}, journal={Fundam. Inf.}, acmid={2367641}, publisher={IOS Press}, numpages={16}, abstract={This paper presents a meta-heuristic for use in finding errors in models of complex concurrent systems using explicit guided model checking. The meta-heuristic improves explicit guided model checking by applying the empirical Bayes method to revise heuristic estimates of the distance from a given state to an error state. Guided search using the revised estimates finds errors with less search effort than the original estimates.}, issue_date={April 2006}, year={2006}, title={Guided Model Checking with a Bayesian Meta-heuristic}, }