Richard Bubel Reiner Hähnle Benjamin Weiß Abstract Interpretation of Symbolic Execution with Explicit State Updates. 247-277 2008 FMCO http://dx.doi.org/10.1007/978-3-642-04167-9_13 conf/fmco/2008 db/conf/fmco/fmco2008.html#BubelHW08