I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Mousse : a system for selective symbolic execution of pr..:

, In: Proceedings of the Fifteenth European Conference on Computer Systems,
Liu, Yingtong ; Hung, Hsin-Wei ; Sani, Ardalan Amiri - p. 1-15 , 2020
Link: https://dl.acm.org/doi/10.1145/3342195.3387556