Oksana Tkachuk Matthew B. Dwyer Corina S. Pasareanu Automated Environment Generation for Software Model Checking. 116-129 2003 conf/kbse/2003 ASE http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350116abs.htm db/conf/kbse/ase2003.html#TkachukDP03