Vortrag: SymDefFix - Sound Automatic Repair Using Symbolic Execution
Stammdaten
| Titel: | SymDefFix - Sound Automatic Repair Using Symbolic Execution |
| Beschreibung: | |
| Schlagworte: |
| Typ: | Angemeldeter Vortrag |
| Homepage: | - |
| Veranstaltung: | 3rd International KLEE Workshop on Symbolic Execution (London) |
| Datum: | 15.09.2022 |
| Vortragsstatus: | stattgefunden (Präsenz) |
Zuordnung
| Organisation | Adresse | ||||
|---|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
||||
|
Universität Klagenfurt
Karl Popper Kolleg (Doktorats- und Wissenschaftskolleg)
|
AT - A-9020 Klagenfurt |
Kategorisierung
| Sachgebiete | |
| Forschungscluster | Kein Forschungscluster ausgewählt |
| Vortragsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
| TeilnehmerInnenkreis |
|
| Publiziert? |
|
| Arbeitsgruppen |
|
Kooperationen
Keine Partnerorganisation ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Veranstaltung in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
| Projekte |
|
| Publikationen |
|
| Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
| Vorträge | Keine verknüpften Vorträge vorhanden |