Dies ist ein Archiv des alten Softwaretechnik Lehrstuhls der Universität des Saarlandes. Es ist nicht länger aktuell.
Für die aktuelle Arbeit von Andreas Zeller und seiner Gruppe besuchen Sie
andreas-zeller.info
.
Für den aktuellen Softwaretechnik Lehrstuhl besuchen Sie
www.se.cs.uni-saarland.de
.
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
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
<
webmaster@st.cs.uni-saarland.de
> · http://www.st.cs.uni-saarland.de/research/ · Stand: 2018-04-05 13:41