"Heuristic Sensitivity in Guided Random-Walk Based Model Checking."

Thang H. Bui, Albert Nymeyer (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics