Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. - Dolores Miao; Ignacio Laguna; Cindy Rubio-González (ISC, 2023)

Input Range Generation for Compiler-Induced Numerical Inconsistencies. - Dolores Miao; Ignacio Laguna; Cindy Rubio-González (ICS, 2024)

MUPPET: Optimizing Performance in OpenMP via Mutation Testing. - Dolores Miao; Ignacio Laguna; Giorgis Georgakoudis; Konstantinos Parasyris; Cindy Rubio-González (PMAM@PPoPP, 2024)

An automated OpenMP mutation testing framework for performance optimization. - Dolores Miao; Ignacio Laguna; Giorgis Georgakoudis; Konstantinos Parasyris; Cindy Rubio-González (Parallel Comput., 2024)