| | - 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...
-
| | |
- Generating Software Tests
- Software has bugs, and catching bugs can involve lots of effort. This book addresses this problem by automating software testing, specifically by generating tests automatically. Recent years have seen the development of novel techniques that lead to dramatic improvements in test generation and software testing. In this course, we explore these techniques - in theory and in code.
mehr...
- Software Praktikum (Herbst 2018)
- Gruppen von 5 - 7 Studenten erstellen ein nicht-triviales Softwaresystem in Java.
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...
-
| | | - Friederike Repplinger
- Sekretariat - Campus E9 1 (CISPA), Zimmer 2.06
Telefon: +49 681 302-70970
Telefax: +49 681 302-70972
office @ st.cs.uni-saarland.de
mehr... - Andreas Zeller
- Professor - Campus E9 1 (CISPA), Zimmer 2.07
Telefon: +49 681 302-70971
zeller @ cs.uni-saarland.de
mehr... - Postdoktoranden
- • Rahul Gopinath
- Doktoranden
- • Matthias Höschele
- • Nikolas Havrikov
- • Björn Mathis
- • Sascha Just
- • Alexander Kampmann
- • Konstantin Kuznetsov
- • Andreas Rau
- • Ezekiel Soremekun
- • Nataniel Pereira Borges Junior
- • Jenny Hotzkow
- • Michaël Mera
- Ehemalige
-
Konrad Jamrozik *
Kevin Streit
*
Clemens Hammacher
*
María Gómez Lacruz
*
Sudipta Chattopadhyay
*
Alessandra Gorla
*
Juan Pablo Galeotti
*
Marcel Böhme
*
Dr. Gordon Fraser
*
Dr. Kim Herzig
*
Dr. Valentin Dallmeier
*
Michael Mirold
*
Bernd Pohl
*
Dr. Christian Lindig
*
Dr. Martin Burger
*
Dr. Stephan Neuhaus
*
Dr. Yana Mileva
*
Dr. Frank Padberg
*
Dr. Rahul Premraj
*
Dr. Jeremias Rößler
*
Dr. David Schuler
*
Dr. Andrzej Wasylkowski
*
Dr. Thomas Zimmermann
*
Dr. Silvia Breu
*
Irina Brudaru
*
Holger Cleve
*
Ilaria Tavecchia
*
Eva May
*
Florian Gross
Unsere Büros sind in Campus E9 1 (CISPA), 2. Stock (Stadtplan und Anreise)
|
Forschung
Lehre
Leute