@InProceedings{BHW09,
 author = 	 {Richard Bubel and Reiner H\"{a}hnle and Benjamin Weiss},
 title = 	 {Abstract Interpretation of Symbolic Execution with Explicit State Updates},
 booktitle =	 {Post Conf.\ Proc.\  6th International Symposium on
                 Formal Methods for Components and Objects (FMCO)},
 year =	 {2009},
 pages =        {247--277},
 editor =	 {Frank de Boer and Marcello M. Bonsangue and Eric Madelaine},
 series =	 {LNCS},
 volume =       {5751},
 publisher =	 {Springer-Verlag}
}