Logo des Repositoriums

Auflistung nach Autor:in "Visser, Willem"

1 - 2 von 2
  • Konferenzbeitrag
    Reliability analysis in symbolic pathfinder: A brief summary
    (Software Engineering 2014, 2014) Filieri, Antonio; Păsăreanu; Visser, Willem
  • Konferenzbeitrag
    Statistical symbolic execution with informed sampling
    (Software-engineering and management 2015, 2015) Filieri, Antonio; Păsăreanu, Corina; Visser, Willem; Geldenhuys, Jaco
    Probabilistic 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.