TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


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

Contact

Motivation

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.

Copyright Andreas Zeller

Classification
  • Software Engineering
  • Programming Languages
  • Machine Learning