Research Meeting 22476
Fuzzing! Languages! Reasoning! Learning! Group Retreat Zeller 2022
( Nov 23 – Nov 25, 2022 )
(Click in the middle of the image to enlarge)
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/22476
Organizer
- Andreas Zeller (CISPA - Saarbrücken, DE)
Contact
- Heike Clemens (for administrative matters)
Why can't we fully automate software development activities like software testing, debugging, and monitoring? In this group retreat, we explore the intersections and synergies of software test generation, dynamic analysis, logical reasoning, and constraint solving, as well as machine learning in order to build better techniques for software automated software development.

Classification
- Software Engineering
- Programming Languages
- Machine Learning