An Improved Distance Heuristic Function for Directed Software Model Checking.

Neha Rungta, Eric G. Mercer

Browse the full FMCAD paper archive.