Verifying Pipeline Implementations in OpenMP. - Maik Wiesner; Marie-Christine Jakobs (SPIN, 2021)

PEQtest: Testing Functional Equivalence. - Marie-Christine Jakobs; Maik Wiesner (FASE, 2022)