Saswat Anand Corina S. Pasareanu Willem Visser Symbolic execution with abstraction. 53-67 2009 11 STTT 1 http://dx.doi.org/10.1007/s10009-008-0090-1 db/journals/sttt/sttt11.html#AnandPV09