Saswat Anand Corina S. Pasareanu Willem Visser Symbolic Execution with Abstract Subsumption Checking. 163-181 2006 conf/spin/2006 SPIN http://dx.doi.org/10.1007/11691617_10 db/conf/spin/spin2006.html#AnandPV06