Exact and approximate probabilistic symbolic execution for nondeterministic programs

Kasper Søe Luckow, Corina S. Păsăreanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

36 Citations (Scopus)

36 Citations
1 PhD thesis

1 results

2014

Platforms and Model-Based Analyses for Real-Time Java
Luckow, K. S., 2014, Department of Computer Science, Aalborg University.
Research output: PhD thesis