Research
Projects and publications

Software Engineering Chair (Prof. Zeller)
Saarland University – Computer Science
Campus E9 1 (CISPA)
66123 Saarbrücken, Germany
E-mail: zeller @ cs.uni-saarland.de
Phone: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page
  

Hot Topics

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...

More Topics

Automated analysis of break-ins
Malfor automatically determines the causes of security vulnerabilities more...
Eclipse debugging plug-ins
We have developed a number of plug-ins for automated debugging and programmer recommendations. more...
Praktomat
Praktomat assures program quality in programming labs through automatic testing and mutual reviewing. more...
Memory Graphs
Memory Graphs represent program states during execution. more...

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/research/ · Updated: 2014-03-23 23:44