KIT | KIT-Bibliothek | Impressum
Open Access Logo
DOI: 10.5445/IR/1000045597

Incremental and Compositional Probabilistic Analysis of Programs

Omri, Fouad ben Nasr; Omri, Safa; 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.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht
Jahr 2015
Sprache Englisch
Identifikator ISSN: 2190-4782
URN: urn:nbn:de:swb:90-455977
KITopen ID: 1000045597
Verlag Karlsruhe
Umfang 21 S.
Serie Karlsruhe Reports in Informatics ; 2015,2
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page