Browsing by Author P uas uareanu, CS

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 4 of 4
Issue DateTitleAuthor(s)
15-Sep-2014Exact and approximate probabilistic symbolic execution for nondeterministic programsLuckow, K; P uas uareanu, CS; Dwyer, MB; Filieri, A; Visser, W
30-Aug-2015Iterative Distribution-Aware Sampling for Probabilistic Symbolic ExecutionBorges, M; Filieri, A; D Amorim, M; P uas uareanu, CS
18-May-2013Reliability analysis in Symbolic PathFinderFilieri, A; P uas uareanu, CS; Visser, W
16-Nov-2014Statistical symbolic execution with informed samplingFilieri, A; P uas uareanu, CS; Visser, W; Geldenhuys, J