Browsing by Author P uas uareanu, CS
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
|---|---|---|
| 15-Sep-2014 | Exact and approximate probabilistic symbolic execution for nondeterministic programs | Luckow, K; P uas uareanu, CS; Dwyer, MB; Filieri, A; Visser, W |
| 30-Aug-2015 | Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution | Borges, M; Filieri, A; D Amorim, M; P uas uareanu, CS |
| 18-May-2013 | Reliability analysis in Symbolic PathFinder | Filieri, A; P uas uareanu, CS; Visser, W |
| 16-Nov-2014 | Statistical symbolic execution with informed sampling | Filieri, A; P uas uareanu, CS; Visser, W; Geldenhuys, J |