Blogs (61) >>
Mon 16 Jul 2018 14:30 - 17:00 at Zurich I - Lecture: Pasareanu Chair(s): Andreas Zeller

Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic path conditions over program paths. The technique has been recently extended with probabilistic reasoning. This approach computes the conditions to reach target program events of interest and uses model counting to quantify the fraction of the input domain satisfying these conditions thus computing the probability of event occurrence. This probabilistic information can be used for example to compute the reliability of an aircraft controller under different wind conditions (modeled probabilistically) or to quantify the leakage of sensitive data in a software system, using information theory metrics such as Shannon entropy. In this talk we review recent advances in symbolic execution and probabilistic reasoning and we discuss how they can be used to ensure the safety and security of software systems.

This lecture will be 120 minutes on Wednesday.

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 17:00
Lecture: PasareanuSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
Symbolic Execution and Probabilistic Reasoning
Summer School
S: Corina S. Păsăreanu NASA Ames Research Center