This paper provides a survey of recent work on adapting techniques for program analysis to compute probabilistic characterizations of program behavior. We survey how the frameworks of data flow analysis and symbolic execution have incorporated information about input probability distributions to quantify the likelihood of properties of program states. We identify themes that relate and distinguish a variety of techniques that have been developed over the past 15 years in this area. In doing so, we point out opportunities for future research that builds on the strengths of different techniques.
CITATION STYLE
Dwyer, M. B., Filieri, A., Geldenhuys, J., Gerrard, M., Păsăreanu, C. S., & Visser, W. (2017). Probabilistic program analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10223 LNCS, pp. 1–25). Springer Verlag. https://doi.org/10.1007/978-3-319-60074-1_1
Mendeley helps you to discover research relevant for your work.