EMPEROR: Lernen der Ursachen von Programmverhalten

Jegliches Programmverhalten wird durch bestimmte Eingaben ausgel?st. Welche Teile einer Eingabe l?sen bestimmtes Verhalten aus, und auf welcher Weise geschieht das? Mit dem EMPEROR Projekt m?chten wir auf automatischer Weise Erkl?rungen für Programmverhalten erzeugen, insbesondere für Programmfehler. Zu diesem Zweck verwenden wir (1) Grammatiken, welche Eingaben in einzelne Elemente trennen; (2) das Lernen von statistischen Beziehungen zwischen Eigenschaften von Eingabeelementen und Programmverhalten; und (3) systematische Tests, um abgeleitete Assoziationen unter Einbeziehung interner Eigenschaften der Programmausführung zu festigen oder zu widerlegen.