Forschungstreffen 22476
Fuzzing! Languages! Reasoning! Learning! Group Retreat Zeller 2022
( 23. Nov – 25. Nov, 2022 )
(zum Vergrößern in der Bildmitte klicken)
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/22476
Organisator
- Andreas Zeller (CISPA - Saarbrücken, DE)
Kontakt
- Heike Clemens (für administrative Fragen)
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.
Creative Commons BY 4.0
Andreas Zeller
Klassifikation
- Software Engineering
- Programming Languages
- Machine Learning
