| | - Testing and 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
- • Efficient mutation testing
- • Mining models of software behavior
- • Testing Web Applications
- 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
- • Predicting bugs at Microsoft
- Publications
- All publications.
more...
- Life at the Chair
- Internal pages for
Report a problem ·
Students ·
Staff
more... - All topics...
-
| | |
- Software Engineering Core Lecture (Summer 2012)
- Software engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software. You will do and learn amazing things in this lecture.
more...
- Self-Healing Systems (Summer 2012)
- Despite the rigorous development methods to produce high quality software products, and despite the continuous progress of software testing and analysis techniques, software systems are still deployed with bugs.
more...
- Testing, Verification & Everything in Between (Summer 2012)
- Testing is a powerful and widely used technique for software
quality assurance, which is known to require significant
resources in most software development projects. Testing is
useful for showing the presence of bugs, not the absence of them.
more...
- Specification Mining (WS 2011/12)
- Everybody agrees it is crucial to have specifications in software, yet 99% of all software does not have any of them. This seminar focuses on how to fix that by automatically mining specifications from software.
more...
- Master Seminar
- Our weekly meeting for students preparing a thesis
in software engineering.
more...
- Theses Topics
- Challenges and fun
more...
- • Mining Software Archives
- • Mutation Testing
- • Automated Debugging
- Earlier courses...
-
| | | - Gabriele Reibold
- Secretary - E1 1, Room 1.12
Phone: +49 681 302-70970
Fax: +49 681 302-70972
office @ st.cs.uni-saarland.de
more... - Andreas Zeller
- Professor - E1 1, Room 1.11
Phone: +49 681 302-70970
zeller @ cs.uni-saarland.de
more... - Post-Docs
- • Martin Burger
- • Valentin Dallmeier
- • Gordon Fraser
- • Juan Pablo Galeotti
- • Alessandra Gorla
- PhD Students
- • Florian Gross
- • Clemens Hammacher
- • Kim Herzig
- • Matthias Höschele
- • Konrad Jamrozik
- • Nikolai Knopp
- • Eva May
- • Yana Mileva
- • Jeremias Rößler
- • Matthias Schur
- • Kevin Streit
- Former Staff
-
Dr. Christian Lindig
*
Dr. Stephan Neuhaus
*
Dr. Frank Padberg
*
Dr. Rahul Premraj
*
Dr. David Schuler
*
Dr. Andrzej Wasylkowski
*
Dr. Thomas Zimmermann
*
Silvia Breu
*
Irina Brudaru
*
Holger Cleve
Our offices are in E1 1, 1st floor (map and directions)
|
Research
Courses
Staff