| |
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/?lang=en · Stand: 2018-04-05 13:41
|
---|