Software Engineering Education: The Messir Approach Nicolas Guelfi , University of Luxembourg 12 - 14 November 2015 Tools and Methods of Program Analysis in St. Petersburg