David Owen Tim Menzies Bojan Cukic What Makes Finite-State Models More (or Less) Testable? 237-240 2002 conf/kbse/2002 ASE http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360237abs.htm db/conf/kbse/ase2002.html#OwenMC02