Methods for the Diagnosis and Automatic Repair of Software Systems
Kern, Christian · 2013
In this thesis we make two contributions to the general problem of automatically diagnosing and correcting bugs in software systems. In the first contribution, we use a catalogue of error prone program code together with search techniques to fix faulty Java Code. In the second contribution, we consider model based approaches for partially observable, distributed systems with alarms. For the alarm explanation, we present new approaches based on Petri net unfoldings.