| | - Software Testing
- We automatically generate software tests, optimized for GUI and code coverage
lire...
- • DroidMate: Test generation for Android apps
- • EXSYST: Test generation for Java applications
- • WebMate: Automatically testing Web apps
- • Efficient mutation testing
- Specification Mining
- We extract specifications from classes and apps
lire...
- • CHABADA: Checking App Behavior Against App Descriptions
- • SPECMATE: Specification Mining and Testing
- • BOXMATE: Sandbox mining for Android apps
- • Mining models of software behavior
- Automatic Parallelization
- We parallelize existing software automatically.
lire...
- • SAMBAMBA: an automatically parallelizing compiler
- Mining Software Archives
- From version and bug databases, we predict failure-prone modules and related changes
lire...
- • Predicting vulnerabilities for Mozilla
- • Download Eclipse bug data
- Automated Debugging
- We automatically determine why programs fail —
finding causes in code, input, statements, or test suites
lire...
- • Book: Why Programs Fail
- • Finding Failure Causes with Delta Debugging
- Publications
- All publications.
lire...
- La Vie a la Chaire
- Pages internes pour
Report a problem ·
Etudiants ·
Personnel
lire... - Tous les projets...
-
| | |
- 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.
lire...
- Software Praktikum (Herbst 2018)
- Gruppen von 5 - 7 Studenten erstellen ein nicht-triviales Softwaresystem in Java.
lire...
- Master Seminar
- Our weekly meeting for students preparing a thesis
in software engineering.
lire...
- Sujets Bachelor et Master
- Sujets à votre choix.
lire...
- • Software Testing
- • Specification Mining
- • Automatic Parallelization
- • Mining Software Archives
- • Automated Debugging
- Cours antécedents...
-
| | | - Friederike Repplinger
- Secrétaire - Campus E9 1 (CISPA), Bureau 2.06
Tél.: +49 681 302-70970
Fax: +49 681 302-70972
office @ st.cs.uni-saarland.de
lire... - Andreas Zeller
- Professeur - Campus E9 1 (CISPA), Bureau 2.07
Tél.: +49 681 302-70971
zeller @ cs.uni-saarland.de
lire... - Post-Docs
- • Rahul Gopinath
- Assistants
- • 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
- Ancien Personnel
-
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
Vous trouvez nos bureaux en Campus E9 1 (CISPA), 2e étage (plan de ville)
|
Recherche
Cours
Personnel