Browsing by Sponsor/Funder European Research Council (ERC)

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 4 to 8 of 8 < previous 
Issue DateTitleAuthor(s)
1-Nov-2020Past-sensitive pointer analysis for symbolic executionTrabish, D; Kapus, T; Rinetzky, N; Cadar, C;
25-Dec-2020Pending constraints in symbolic execution for better exploration and seedingKapus, T; Busse, F; Cadar, C;
Jul-2020Running symbolic execution foreverBusse, F; Nowack, M; Cadar, C; , et al
21-Jan-2022SaBRe: load-time selective binary rewritingArras, P-A; Andronidis, A; Pina, L; Mituzas, K; Shu, Q, et al
-SnapFuzz: High-throughput fuzzing of network applicationsAndronidis, A; Cadar, C;