Auflistung nach Autor:in "Filieri, Antonio"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAutomated design of self-adaptive software with control-theoretical formal guarantees(Software-engineering and management 2015, 2015) Filieri, Antonio; Hoffmann, Henr; Maggio, MartinaSelf-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice.
- KonferenzbeitragReliability analysis in symbolic pathfinder: A brief summary(Software Engineering 2014, 2014) Filieri, Antonio; Păsăreanu; Visser, Willem
- KonferenzbeitragStatistical symbolic execution with informed sampling(Software-engineering and management 2015, 2015) Filieri, Antonio; Păsăreanu, Corina; Visser, Willem; Geldenhuys, JacoProbabilistic program analysis aims at quantifying the probability of a target event to occur during a program execution. Recent approaches exploit symbolic execution to compute the constraints on the inputs leading to the occurrence of a target event; the solution space for such constraints is then quantified given a probabilistic usage profile, which characterizes each input variable by a probability distribution over its possible values. Despite their generality and accuracy, these exhaustive approaches suffer scalability issues for large programs.