Jakobs, Marie-Christine ; Wiesner, Maik
Hrsg.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
PEQtest: Testing Functional Equivalence.
25th International Conference on Fundamental Approaches to Software Engineering. Munich, Germany (02.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_11
Konferenzveröffentlichung, Bibliographie

Wiesner, Maik ; Jakobs, Marie-Christine
Hrsg.: Laarman, Alfons ; Sokolova, Ana (2021)
Verifying Pipeline Implementations in OpenMP.
27th International Symposium on Model Checking Software (SPIN 2021). virtual Conference (12.07.2021-12.07.2021)
doi: 10.1007/978-3-030-84629-9_5
Konferenzveröffentlichung, Bibliographie