Merkliste 
 1 Ergebnisse 
 
1

Symbolic execution-driven extraction of the parallel execut..:

, In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,