Next semester’s SWT seminar for Bachelor and Master students will explore
Challenges and Opportunities of Machine Learning for Software Testing and Verification
The integration of ML algorithms in modern software applications poses new challenges for ensuring the applications’ correctness and safety, e.g., in the context of autonomous driving. This seminar will discuss recent research at the crossroads between machine learning and software quality:
- How can software containing ML components be tested and verified?
- How can ML algorithms help testing and verification to cope with the complexity of tomorrow's software systems?
There is no need to register for this seminar beforehand.
If you wish to attend the seminar and receive a topic, simply show up in the introductory session in the first week of the summer lecture period (see UnivIS for details). In case of questions, please contact the seminar lecturer Dr. Jin Ro.