Merkliste 
 1 Ergebnisse 
 
1

Cross-coverage testing of functionally equivalent programs:

, In: 2023 IEEE/ACM International Conference on Automation of Software Test (AST),