Publikation: Presentation: SymDefFix - Sound Automat...
Stammdaten
| Titel: | Presentation: SymDefFix - Sound Automatic Repair Using Symbolic Execution |
| Untertitel: | |
| Kurzfassung: | In this presentation, we introduce our constraint-based repair approach, called SymDefFix. SymDefFix is based on ExtractFix and replaces the dynamic analysis steps of ExtractFix to detect the error and find the potential fix locations in an input program with symbolic execution. We first briefly motivate and introduce our modifications of ExtractFix, and then demonstrate it with an example. |
| Schlagworte: |
| Publikationstyp: | Abstract (Autorenschaft) |
| Erscheinungsdatum: | 08.09.2022 (Online) |
| Erschienen in: |
arXiv
arXiv
(
arXiv.org;
)
zur Publikation |
| Titel der Serie: | - |
| Bandnummer: | - |
| Heftnummer: | - |
| Erstveröffentlichung: | Ja |
| Version: | - |
| Seite: | S. 1 - 1 |
Versionen
| Keine Version vorhanden |
| Erscheinungsdatum: | 08.09.2022 |
| ISBN (e-book): | - |
| eISSN: | - |
| DOI: | http://dx.doi.org/10.48550/ARXIV.2209.03815 |
| Homepage: | https://doi.org/10.48550/arxiv.2209.03815 |
| Open Access |
|
Zuordnung
| Organisation | Adresse | ||||
|---|---|---|---|---|---|
|
Universität Klagenfurt
Karl Popper Kolleg (Doktorats- und Wissenschaftskolleg)
|
AT - A-9020 Klagenfurt |
||||
|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
| Sachgebiete | |
| Forschungscluster | Kein Forschungscluster ausgewählt |
| Peer Reviewed |
|
| Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
| Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
| Projekte: |
|
| Publikationen: | Keine verknüpften Publikationen vorhanden |
| Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
| Vorträge: |
|