Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation

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…