Chaire de Génie Logiciel
Andreas Zeller

Chaire de Génie Logiciel (Prof. Zeller)
Université de la Sarre – Informatique
Campus Informatique de la Sarre
Campus E9 1 (CISPA)
66123 Sarrebruck, Allemagne
E-mail: zeller @ cs.uni-saarland.de
Tél.: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en français English home page
 Recherche   Cours   Personnel
 
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-70970
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)

Mention Légales Charte de Confidentialité

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/?lang=fr · mise à jour le 2018-04-05 13:41