Projekt: Software Engineering Approaches for Evo...
Stammdaten
Software Engineering Approaches for Evolving Systems | |
Beschreibung: | In this project, we will investigate methods for improving debugging and locating faults in programs using incremental, interactive formal program analysis. Our envisioned approach uses symbolic/concolic execution to obtain a first semantic of a function in a program. This will be shown to the developer(s) that can refine and/or extend the semantic. Next, the symbolic/concolic execution will be rerun with the refined semantic. This will be repeated, until the developer locates the fault and is able to understand it. The two main research challenges are: 1) find methods for refining and extending semantics as obtained with symbolic/concolic execution; 2) find methods to represent the semantics to developers so that he/she can understand and work with it. |
Schlagworte: | debugging, fault localization, symbolic execution, program analysis |
Kurztitel: | SEA |
Zeitraum: | 01.01.2023 - 31.12.2026 |
Kontakt-Email: | martin.pinzger@aau.at |
Homepage: | - |
MitarbeiterInnen
MitarbeiterInnen | Funktion | Zeitraum |
---|---|---|
Martin Pinzger (intern) |
|
|
Zuordnung
Organisationseinheit | ||||
---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
Kategorisierung
Projekttyp | Forschungsförderung (auf Antrag oder Ausschreibung) |
Förderungstyp | §27 |
Forschungstyp |
|
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Genderrelevanz | Genderrelevanz nicht ausgewählt |
Projektfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte | Keine verknüpften Projekte vorhanden |
Publikationen | Keine verknüpften Publikationen vorhanden |
Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
Vorträge | Keine verknüpften Vorträge vorhanden |