Automated Testing and Debugging Andreas Zeller + Jenny Rau

News

30.04.2020

Initial meeting

Welcome to the proseminar on Automated Testing and Debugging!

We will have a first (virtual) proseminar meeting on Friday May 8 at 16:00.  Invites to the Zoom videoconference will be sent by mail before the meeting.

Looking forward to see you, and best... Read more

Welcome to the proseminar on Automated Testing and Debugging!

We will have a first (virtual) proseminar meeting on Friday May 8 at 16:00.  Invites to the Zoom videoconference will be sent by mail before the meeting.

Looking forward to see you, and best wishes,

Jenny Rau + Andreas Zeller

31.03.2020

Registration

Please note that to register, you have to use the central system of the CS department.

 

Automated Testing and Debugging

It is estimated that programmers spend half of their time testing and debugging their code.  Wouldn't it be great if computers could help automating these boring tasks?

In this proseminar, we explore and evaluate automated techniques for testing and debugging software.  We look at a number of classic approaches for generating software tests automatically, for finding errors and locating faults, and for having these two interact with each other.  You will be 

  • reading the associated papers,
  • presenting the associated work,
  • possibly even with a demonstration of the technique.

For every technique, we will be providing you with the papers (and a reference or textbook implementation, if available).  For the presentation, we use standard presentation software; for demonstrations, Python and Jupyter Notebooks have shown to be practical.  During the seminar, you will refine your presentation and demonstration skills with us up to the final (and decisive) presentation.

Requirements: Programming skills will be required for demonstrations.  Knowledge of Python and experience with Jupyter Notebooks is helpful, but can be acquired during the proseminar.

Registration: To register, use the central system of the CS department.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators