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.