| | - Software-Tests
- Wir erzeugen automatisch Testsuiten, optimiert für GUI- und Code-Abdeckung
mehr...
- • WEBMATE: Automatisches Testen von Web-Anwendungen
- • EXSYST: Testerzeugung für Java-Anwednungen
- • DroidMate: Testerzeugung für Android-Apps
- • Effizientes Mutationstesten
- Specification Mining
- Wir extrahieren Spezifikationen aus Klassen und Anwendungen
mehr...
- • SPECMATE: Specification Mining and Testing
- • 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...
-
| | |
- Mobile Testing and Analysis (Summer 2013)
- A seminar on the existing testing and analysis techniques for mobile applications.
mehr...
- Software Testing (Sommer 2013)
- Proseminar für Bachelor-Studierende: Grundlagen im Themenfeld Software Testing und automatischer Testgenerierung.
mehr...
- Software Lab (Fall 2013)
- Groups of five students develop a non-trivial piece of software
mehr...
- Master Seminar
- Our weekly meeting for students preparing a thesis
in software engineering.
mehr...
- Bachelor- und Master-Arbeiten
- Herausforderungen, die Spaß machen.
mehr...
- • Software Testing
- • Specification Mining
- • Automatic Parallelization
- • Mining Software Archives
- • Automated Debugging
- Frühere Lehrveranstaltungen...
-
| | | - Gabriele Reibold
- Sekretariat - E1 1, Zi. 1.12
Telefon: +49 681 302-70970
Telefax: +49 681 302-70972
office @ st.cs.uni-saarland.de
mehr... - Andreas Zeller
- Professor - E1 1, Zi. 1.11
Telefon: +49 681 302-70970
zeller @ cs.uni-saarland.de
mehr... - Postdoktoranden
- • Juan Pablo Galeotti
- • Alessandra Gorla
- Doktoranden
- • Florian Groß
- • Clemens Hammacher
- • Matthias Höschele
- • Konrad Jamrozik
- • Eva May
- • Matthias Schur
- • Kevin Streit
- • Andrey Tarasevich
- • Ilaria Tavecchia
- WebMate Team
- • Martin Burger
- • Valentin Dallmeier
- • Michael Mirold
- • Bernd Pohl
- Ehemalige
-
Dr. Gordon Fraser
*
Dr. Kim Herzig
*
Dr. Christian Lindig
*
Dr. Stephan Neuhaus
*
Dr. Yana Mileva
*
Dr. Frank Padberg
*
Dr. Rahul Premraj
*
Jeremias Rößler
*
Dr. David Schuler
*
Dr. Andrzej Wasylkowski
*
Dr. Thomas Zimmermann
*
Silvia Breu
*
Irina Brudaru
*
Holger Cleve
Unsere Büros sind in E1 1, 1. Stock (Stadtplan und Anreise)
|
Forschung
Lehre
Leute