KIT | KIT-Bibliothek | Impressum | Datenschutz

Incremental and Compositional Probabilistic Analysis of Programs

Omri, Fouad ben Nasr; Omri, Safa ORCID iD icon; Reussner, Ralf


Symbolic execution has been applied, among others, to check programs against contract specifications or to generate path-based test suites. We propose to adapt symbolic execution to perform a probabilistic reasoning about possible executions of a program. We present a compositional and incremental approach to approximate the probability of a program path.

Volltext §
DOI: 10.5445/IR/1000045597
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2015
Sprache Englisch
Identifikator ISSN: 2190-4782
KITopen-ID: 1000045597
Verlag Karlsruher Institut für Technologie (KIT)
Umfang 21 S.
Serie Karlsruhe Reports in Informatics ; 2015,2
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page