Dear all,
please find the current plan for next week's seminar presentations below.
I curated this from all sources I have, but please double-check for
correctness and completeness (until Monday, lunch time).
Best,
Timo
== Dec. 17, E8 room 107
08:30-09:20 -- Jairo Erazo Botero, Michal Stetina, Dennis Berger,
Marilena Manoli: LLM Contamination in the Wild
09:20-09:50 -- Daniel Zeidan: Mutation Testing-based Assessment of Code
Contracts
10:00-10:30 -- Jonathan Bernhard: RaQuN Lab for Experimenting with N-Way
Model Matching
10:30-11:00 -- William Dan: UAV Test Surrogate Models
11:00-11:30 -- Mohammad Eglil: Passless
16:15-16:45 -- Ramona Christen: Enhancing Automated Contract Generation
with Summaries
16:50-17:20 -- Mohd Dayatar: Automated Code Contract Repair: An
LLM-Based Approach
== Dec. 18, E8 room 105
09:30-10:00 -- Cindy Schnyder: How do open source developers implement
variability in their system?
10:00-10:30 -- Sascha Künzler: BIP Mining for Network Graph