Search algorithms for automated validation. - Tom A. N. Engels; Jan Friso Groote; Muck van Weerdenburg; Tim A. C. Willemse (J. Log. Algebraic Methods Program., 2009)