News
Help us tailoring automated debugging to your needsWritten on 16.09.21 by Andreas Zeller 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… 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 |
Talk by Andreas Zeller "Learning the Language of Failure" on ThursdayWritten on 16.06.20 by Andreas Zeller 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… 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 |
Initial meetingWritten on 30.04.20 by Andreas Zeller 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 |
RegistrationWritten on 31.03.20 by Andreas Zeller 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.