Reinhard Wilhelm. Software Quality Assurance by Static Program Analysis. In Dietmar Winkler, Stefan Biffl, Johannes Bergsmann, editors, Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering - 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014. Proceedings. Volume 166 of Lecture Notes in Business Information Processing, pages 1-11, Springer, 2014. [doi]
Abstract is missing.