Contribuições ao teste de cobertura de aplicações CUDA - Luz, Helder J. F.; Souza, Simone do Rocio Senger de; Souza, Paulo Sérgio Lopes de (Escola Regional de Alto Desempenho de São Paulo - ERAD-SP, 2017)