Logo des Repositoriums
 
Konferenzbeitrag

Statistical symbolic execution with informed sampling

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2015

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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.

Beschreibung

Filieri, Antonio; Păsăreanu, Corina; Visser, Willem; Geldenhuys, Jaco (2015): Statistical symbolic execution with informed sampling. Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-633-6. pp. 51-52. Dresden. 17.-20. März 2015

Schlagwörter

Zitierform

DOI

Tags