Selected Topics in Specification and Testing Dominic Steinhöfel + Andreas Zeller


Papers for 4th Seminar Session at May 3rd

Written: 19.04.2021 17:12 Written By: Dominic Steinhöfel

Dear all,

in our fourth seminar session (the second "regular" one) which takes place at May 3rd, 4:00 PM, we will again focus on property-based testing. This time, two papers will be discussed, which both propose approaches to steer random input generation for property-based testing into the right directions.

The titles of these papers, which you find in the "Materials" section, are "Semantic Fuzzing with Zest" and "Coverage Guided, Property Based Testing".

This means that for May 3rd, you will have to submit two abstracts, and we will have two short talks on different papers (in contrast to our April 26th session, where we'll have two talks on the same paper). Please submit your abstracts before May 3rd.

We already have two volunteers for the short talks, which are Hannah and Florian.

Best Regards,

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