Incremental and Compositional Probabilistic Analysis of Programs
Omri, Fouad ben Nasr; Omri, Safa
; Reussner, Ralf
; Reussner, RalfAbstract:
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/Preprint |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISSN: 2190-4782 urn:nbn:de:swb:90-455977 KITopen-ID: 1000045597 |
| Verlag | Karlsruher Institut für Technologie (KIT) |
| Umfang | 21 S. |
| Serie | Karlsruhe Reports in Informatics ; 2015,2 |