Static analysis and runtime monitoring to ensure the consistency of dynamic applications
Posted 2015.01.15 — Lille, France
Open Ph.D. Position
Static analysis and runtime monitoring to ensure the consistency of dynamic applications
Summary
Modern software engineering techniques allow building applications that change at runtime, without stopping. We call these applications Dynamic Applications. However, changing applications at runtime to cause inconsistencies that lead to failure. This Ph.D thesis will focus on state-of-the-art tools to analyse and verify that applications remain consistent and function properly despite dynamic change.