Research
Projects and publications

Aktuelle Projekte

Software-Tests

Wir erzeugen automatisch Testsuiten, optimiert für GUI- und Code-Abdeckung mehr...

• DroidMate: Testerzeugung für Android-Apps

• EXSYST: Testerzeugung für Java-Anwednungen

• WEBMATE: Automatisches Testen von Web-Anwendungen

• Effizientes Mutationstesten

Specification Mining

Wir extrahieren Spezifikationen aus Klassen und Anwendungen mehr...

• CHABADA: Checking App Behavior Against App Descriptions

• SPECMATE: Specification Mining and Testing

• BOXMATE: Sandbox mining for Android apps

• Verhaltensmodelle aus Anwendungen extrahieren

Automatische Parallelisierung

Wir parallelisieren existierende Software automatisch. mehr...

• SAMBAMBA: Ein parallelisierender C-Compiler

Analyse von Software-Archiven

Aus Versions- und Fehlerdatenbanken sagen wir fehlerträchtige Module oder verwandte Änderungen voraus. mehr...

• Vorhersage von Sicherheitslücken

• Eclipse-Fehlerdaten verfügbar

• Fehlervorhersage bei Microsoft

Automatische Fehlersuche

Wir finden die Ursachen von Programmfehlern — im Code, in den Eingaben, oder in den Tests. mehr...

• Buch: Why Programs Fail

• Automatische Fehlersuche mit Delta Debugging

Veröffentlichungen

Alle Veröffentlichungen des Lehrstuhls. mehr...

Leben am Lehrstuhl

Interne Seiten für Report a problem · Studierende · Mitarbeiter
mehr...

Alle Projekte...

Weitere Projekte

• Automatische Analyse von Einbrüchen

• Debugging-Werkzeuge für Eclipse

Praktomat

Praktomat sichert die Programmqualität im Programmierpraktikum durch Tests und gegenseitige Reviews. mehr...

Speichergraphen

Speichergraphen beschreiben einen Programmzustand als Graph. mehr...

Impressum ● Datenschutzerklärung