KIT - Karlsruhe Institute of Technology
image/svg+xml
Endowed professorship for reliable software systems in the automotive industry
Home
Legals
Data Protection
Sitemap
KIT
KIT
de
Profile
Staff
Research
Start
Research
Research
Statische Software-Analyse
Software-Defekt-Vorhersage
Produkt-Konfiguration
Zuverlässige maschinelle Lernverfahren
Logische Entscheidungsverfahren
Lehrveranstaltungen
Bachelor/Master Theses
Publications
Startpage
Home
Legals
Data Protection
Sitemap
Endowed professorship for reliable software systems in the automotive industry
Startpage
Bachelor/Master Theses
Endowed professorship for reliable software systems in the automotive industry
Profile
Staff
Research
Lehrveranstaltungen
Bachelor/Master Theses
Publications
Bachelor/Master Theses
Generation of Preconditions through Symbolic Backwards Execution
chair:
Generation of Preconditions through Symbolic Backwards Execution
type:
Masterarbeit
time:
ab sofort (2020)
tutor:
Marko Kleine Büning
