News
|
25.04.2023
|
Be sure to register in LSF before May 15 - now openDear all, I have fixed the "official" start of the seminar to April 24. Note that students are only allowed to register (or withdraw) in HISPOS/LSF for the "exam" within three weeks after the topic assignment or the seminar briefing. Hence, you must register for... Read more Dear all, I have fixed the "official" start of the seminar to April 24. Note that students are only allowed to register (or withdraw) in HISPOS/LSF for the "exam" within three weeks after the topic assignment or the seminar briefing. Hence, you must register for the seminar in LSF/HISPOS before May 15. All the best, Andreas Zeller
Update 2023-04-26: Registration in LSF is now open. |
|
24.04.2023
|
Slides "How to give a good research talk" now availableDear all, The slides of today's introduction talk, "How to give a good research talk," are now available at https://cms.cispa.saarland/isla23/materials/ or through the "Information -> Materials" menu. Enjoy! Andreas Zeller |
|
20.04.2023
|
Preliminary Schedule PublishedDear seminar participants, Dear seminar participants, |
|
18.04.2023
|
Welcome to "Specification-Based Testing and Debugging"!Welcome to the seminar! Our seminar kick-off meeting will take place on Wednesday, April 19 at 17:00 If you have been assigned to the seminar, you should have obtained a link to register, and a link to the Zoom meeting. Please check your mail. Looking... Read more Welcome to the seminar! Our seminar kick-off meeting will take place on Wednesday, April 19 at 17:00 If you have been assigned to the seminar, you should have obtained a link to register, and a link to the Zoom meeting. Please check your mail. Looking forward to see you! -- Dominic + Andreas |
Specification-Based Testing and Debugging
Description: How can one specify inputs and outputs for a program and use these to test and debug it thoroughly? In this advanced seminar, we study several seminal approaches to automated testing and debugging and implement them all in a few lines using the all-new declarative ISLa test generator. Our set of techniques includes:
- Grammar-based Testing
- Testing with Constraints
- Evolutionary Testing
- Property Testing
- Metamorphic Testing
- Explaining Failures
- and more!
The general process will be as follows: Each week, you get 1-2 reading assignments and write an abstract about them. We may also ask you to give an (ungraded) five-minute short presentation to kick off the discussion and improve your presentation skills. Having discussed the approach, you have another week to finish a programming assignment (using Python and Jupyter Notebooks). in which you implement the respective technique using the expressive ISLa framework.
At the end of the seminar, you give a 15-20 minute presentation on one of the techniques, including experiments you designed and conducted. We will determine your final grade from your abstracts (10%), your programming assignments (30%), and the final presentation (60%).
Requirements: This seminar requires creativity and ambition. Experience with declarative languages and symbolic reasoning is a plus. Prior knowledge in automated testing, debugging, and software engineering (esp. from earlier courses) will be beneficial. In your motivation, please mention relevant projects and courses you have taken along with your grades.
Registration: To register for this seminar, use the SIC Seminar Registration Page.