Merkliste 
 1 Ergebnisse 
 
1

SABRINE : state-based robustness testing of operating sy..:

, In: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering,