Heuristic Sensitivity in Guided Random-Walk Based Model Checking.

Thang H. Bui, Albert Nymeyer

Browse the full SEFM paper archive.