Project: Software Engineering Approaches for Evo...
Master data
| Software Engineering Approaches for Evolving Systems | |
| Description: | 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. |
| Keywords: | debugging, fault localization, symbolic execution, program analysis |
| Short title: | SEA |
| Period: | 01.01.2023 - 31.12.2026 |
| Contact e-mail: | martin.pinzger@aau.at |
| Homepage: | - |
Employees
| Employees | Role | Time period |
|---|---|---|
| Martin Pinzger (internal) |
|
|
Assignment
| Organisational unit | ||||
|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
Categorisation
| Project type | Research funding (on request / by call for proposals) |
| Funding type | §27 |
| Research type |
|
| Subject areas | |
| Research Cluster | No research Research Cluster selected |
| Gender aspects | Genderrelevance not selected |
| Project focus |
Classification raster of the assigned organisational units:
|
| working groups |
|
Cooperations
Research activities
| Projects | No related projects |
| Publications | No related publications |
| Events | No related events |
| Lectures | No related lectures |