Klaus Wolfmaier, Rudolf Ramler, Gabor Guta, Heinz Dobler. Observable Runtime Behavior for Defects Indicated by Automated Static Analysis. In Roberto Moreno-DÃaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers. Volume 5717 of Lecture Notes in Computer Science, pages 312-319, Springer, 2009. [doi]
Abstract is missing.