TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


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

Kontakt

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

Klassifikation
  • Software Engineering
  • Programming Languages
  • Machine Learning