Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer, Corina S Pasareanu
