Analyzing performance and understanding the potential best-case, worst-case and
distribution of program execution times are very important software engineering tasks. There …

Probabilistic software analysis seeks to quantify the likelihood of reaching a target event
under uncertain environments. Recent approaches compute probabilities of execution paths …

The continued development of efficient automated decision procedures has spurred the
resurgence of research on symbolic execution over the past decade. Researchers have …

Probabilistic symbolic execution aims at quantifying the probability of reaching program
events of interest assuming that program inputs follow given probabilistic distributions. The …

Symbolic execution techniques have been proposed recently for the probabilistic analysis of
programs. These techniques seek to quantify the likelihood of reaching program events of …

The last few years have seen a resurgence of interest in the use of symbolic execution—a
program analysis technique developed more than three decades ago to analyze program …

Software reliability analysis tackles the problem of predicting the failure probability of
software. Most of the current approaches base reliability analysis on architectural …

We propose a technique based on symbolic execution for analyzing the algorithmic
complexity of programs. The technique uses an efficient guided analysis to compute bounds …

This paper introduces memoized symbolic execution (Memoise), a new approach for more
efficient application of forward symbolic execution, which is a well-studied technique for …

Symbolic evaluation techniques can be used to determine the cumulative effects of a
program's calculations on the branching predicates and output variables in the program. If …