Research issues in the renovation of legacy systems

The goals of this tutorial are to: (emph{i) give the reader a quick introduction to the field of software renovation as a whole; (emph{ii) show that many techniques from compiler technology and formal methods can be applied; (emph{iii) demonstrate that research should be driven by real-life, industrial, case studies; and (emph{iv) indicate that many challenging problems are still unsolved. During the presentation of this turorial, demonstrations will be given of several of the case studies discussed here.