Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. - Daniel Liew; Cristian Cadar; Alastair F. Donaldson; J. Ryan Stinnett (ESEC/SIGSOFT FSE, 2019)

Accurate Coverage Metrics for Compiler-Generated Debugging Information. - J. Ryan Stinnett; Stephen Kell (CC, 2024)

Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible. - Stephen Kell; J. Ryan Stinnett (Onward!, 2024)