David Owen Bojan Cukic Tim Menzies An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. 119-128 2002 conf/hase/2002 HASE http://csdl.computer.org/comp/proceedings/hase/2002/1769/00/17690119abs.htm db/conf/hase/hase2002.html#OwenCM02