Klaus Wolfmaier Rudolf Ramler Gabor Guta Heinz Dobler Observable Runtime Behavior for Defects Indicated by Automated Static Analysis. 312-319 2009 EUROCAST http://dx.doi.org/10.1007/978-3-642-04772-5_41 conf/eurocast/2009 db/conf/eurocast/eurocast2009.html#WolfmaierRGD09