Blogs (61) >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
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

ecoop-issta-2018-summer-school
14:30 - 17:00: Summer School - Lecture: Pasareanu at Zurich I
Chair(s): Andreas ZellerSaarland University
ecoop-issta-2018-summer-school14:30 - 17:00
Talk
Corina S PasareanuNASA Ames Research Center