| Kurzkommentar |
Abstract:
Despite the rigorous development methods to produce high quality
software products, and despite the continuous progress of software
testing and analysis techniques, software systems are still deployed
with bugs.
The presence of such bugs in the software can be considered
more or less critical by the software developers, who may decide to
address the issues after a long time. In the mean time, final users
have to resign to use faulty applications, and suffer from more or less
annoying failures.
This seminar focuses on how to automatically fix software programs at
runtime to avoid the manifestation of bugs introduced during the
development. We will investigate on how to automatically detect program
failures, and we will analyze techniques to automatically find and
apply the best fixes to "heal" faulty software systems. |
