Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. - Ignacio Laguna; Patrick J. Chapman; Konstantinos Parasyris; Giorgis Georgakoudis; Cindy Rubio-González (SC Workshops, 2024)

Interleaving Static Analysis and LLM Prompting. - Patrick J. Chapman; Cindy Rubio-González; Aditya V. Thakur (SOAP@PLDI, 2024)

Interleaving static analysis and LLM prompting with applications to error specification inference. - Patrick J. Chapman; Cindy Rubio-González; Aditya V. Thakur (Int. J. Softw. Tools Technol. Transf., 2025)