Logo des Repositoriums
 

Statistical symbolic execution with informed sampling

dc.contributor.authorFilieri, Antonio
dc.contributor.authorPăsăreanu, Corina
dc.contributor.authorVisser, Willem
dc.contributor.authorGeldenhuys, Jaco
dc.contributor.editorAßmann, Uwe
dc.contributor.editorDemuth, Birgit
dc.contributor.editorSpitta, Thorsten
dc.contributor.editorPüschel, Georg
dc.contributor.editorKaiser, Ronny
dc.date.accessioned2017-06-30T20:56:04Z
dc.date.available2017-06-30T20:56:04Z
dc.date.issued2015
dc.description.abstractProbabilistic 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.en
dc.identifier.isbn978-3-88579-633-6
dc.identifier.pissn1617-5468
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware-engineering and management 2015
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-239
dc.titleStatistical symbolic execution with informed samplingen
dc.typeText/Conference Paper
gi.citation.endPage52
gi.citation.publisherPlaceBonn
gi.citation.startPage51
gi.conference.date17.-20. März 2015
gi.conference.locationDresden

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
51.pdf
Größe:
33.85 KB
Format:
Adobe Portable Document Format