On the Probabilistic Symbolic Analysis of Programs
File(s)2014-approx.pdf (109.99 KB)
Accepted version
Author(s)
Filieri, A
Pasareanu, CS
Type
Conference Paper
Abstract
Recently we have proposed symbolic execution techniques for the
probabilistic analysis of programs. These techniques seek to quan-
tify the probability of a program to satisfy a property of interest
under a relevant usage profile. We describe recent advances in prob-
abilistic symbolic analysis including handling of complex floating-
point constraints and nondeterminism, and the use of statistical
techniques for increased scalability.
probabilistic analysis of programs. These techniques seek to quan-
tify the probability of a program to satisfy a property of interest
under a relevant usage profile. We describe recent advances in prob-
abilistic symbolic analysis including handling of complex floating-
point constraints and nondeterminism, and the use of statistical
techniques for increased scalability.
Date Issued
2014-06-13
Date Acceptance
2014-06-13
Citation
First SIGPLAN Workshop on Probabilistic and Approximate Computing, 2014
Journal / Book Title
First SIGPLAN Workshop on Probabilistic and Approximate Computing
Copyright Statement
© 2014 The Authors
Identifier
http://approx2014.cs.umass.edu/
Source
APPROX 2014
Notes
location: Edinburgh, United Kingdom notes: Invited
Publication Status
Published
Start Date
2014-06-13
Coverage Spatial
Edinburgh, Scotland