Patrice Godefroid Nils Klarlund Software Model Checking: Searching for Computations in the Abstract or the Concrete. 20-32 2005 conf/ifm/2005 IFM http://dx.doi.org/10.1007/11589976_3 db/conf/ifm/ifm2005.html#GodefroidK05