| - Software Testing
- We automatically generate software tests, optimized for GUI and code coverage
more...
- • 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
more...
- • 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.
more...
- • SAMBAMBA: an automatically parallelizing compiler
- Mining Software Archives
- From version and bug databases, we predict failure-prone modules and related changes
more...
- • 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
more...
- • Book: Why Programs Fail
- • Finding Failure Causes with Delta Debugging
- Publications
- All publications.
more...
- Life at the Chair
- Internal pages for
Report a problem ·
Students ·
Staff
more... - All topics...
-
| | |
- 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.
more...
- Software Praktikum (Herbst 2018)
- Gruppen von 5 - 7 Studenten erstellen ein nicht-triviales Softwaresystem in Java.
more...
- Master Seminar
- Our weekly meeting for students preparing a thesis
in software engineering.
more...
- Theses Topics
- Challenges and fun
more...
- • Software Testing
- • Specification Mining
- • Automatic Parallelization
- • Mining Software Archives
- • Automated Debugging
- Earlier courses...
-
| | | - Friederike Repplinger
- Secretary - Campus E9 1 (CISPA), Room 2.06
Phone: +49 681 302-70970 Fax: +49 681 302-70972 office @ st.cs.uni-saarland.de
more... - Andreas Zeller
- Professor - Campus E9 1 (CISPA), Room 2.07
Phone: +49 681 302-70971 zeller @ cs.uni-saarland.de
more... - Post-Docs
- • Rahul Gopinath
- PhD Students
- • 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
- Former Staff
-
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
Our offices are in Campus E9 1 (CISPA), 2nd floor (map and directions)
|