Software Engineering Approaches for Evo...

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.