Research
Projects and publications

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en français English home page
  

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...

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/research/ · Stand: 2014-03-23 23:44