Merkliste 
 1 Ergebnisse 
 
1

Acto: Automatic End-to-End Testing for Operation Correctnes..:

, In: Proceedings of the 29th Symposium on Operating Systems Principles,
Gu, Jiawei Tyler ; Sun, Xudong ; Zhang, Wentao... - p. 96-112 , 2023