Supporting Reliable Software Evolution through Program Analysis

This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need, define the necessary concepts, and sketch the context of the proposed research. We then define the research space by introducing three research questions and mention some first ideas of solutions to the problems they represent. Finally, we discuss the progress made so far in more detail, and conclude with a description of validation approaches and expected contributions