2 citations · 5 across the 12 of their papers we have counts for
1 paper · 2 filters
Ignacio Laguna, Patrick Chapman, Konstantinos Parasyris +2
We present a randomized differential testing approach to test OpenMP implementations. In contrast to previous work that manually creates dozens of verification and validation tests…