Structural testing for CUDA programming model - Luz, Helder Jefferson Ferreira da; Souza, Paulo Sérgio Lopes de; Souza, Simone do Rocio Senger de (Concurrency and Computation: Practice and Experience, 2024)