News
|
16.09.2021
|
Help us tailoring automated debugging to your needsDear former course participants, Thank you for your interest in software testing and debugging! We're developing Alhazen, a tool that automatically finds out when and why your program fails. We are heavily relying on your opinion as professional developers.... Read more Dear former course participants, Thank you for your interest in software testing and debugging! We're developing Alhazen, a tool that automatically finds out when and why your program fails. We are heavily relying on your opinion as professional developers. Please take part in our user study to help us tie our approach to your needs: https://tinyurl.com/debuggingstudy Thanks a lot! Andreas Zeller + Team |
|
16.06.2020
|
Talk by Andreas Zeller "Learning the Language of Failure" on ThursdayDear all, as we have talked a lot about presentation techniques, and as we give feedback each week on your presentations, let me announce one of my own talks taking place this Thursday at 13:30: https://casa.rub.de/en/news/distinguished-lectures The... Read more Dear all, as we have talked a lot about presentation techniques, and as we give feedback each week on your presentations, let me announce one of my own talks taking place this Thursday at 13:30: https://casa.rub.de/en/news/distinguished-lectures The talk is (believe it or not) on Testing and Debugging, and gives a nice overview on our latest and greatest recent research. And you may even see a few presentation ideas you haven't seen before. Enjoy! Andreas Zeller |
|
30.04.2020
|
Initial meetingWelcome 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
|
RegistrationPlease 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.