Merkliste 
 1 Ergebnisse 
 
1

Testing high performance numerical simulation programs: exp..:

, In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,
He, Xiao ; Wang, Xingwei ; Shi, Jia. - p. 502-515 , 2020