Revealing injection vulnerabilities by leveraging existing tests. - Katherine Hough; Gebrehiwet B. Welearegai; Christian Hammer 001; Jonathan Bell 001 (ICSE, 2020)

A Practical Approach for Dynamic Taint Tracking with Control-flow Relationships. - Katherine Hough; Jonathan Bell 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Crossover in Parametric Fuzzing. - Katherine Hough; Jonathan Bell 001 (ICSE, 2024)

Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems. - Gwenyth Lincroft; Minsung Cho; Katherine Hough; Mahsa Bazzaz; Jonathan Bell 001 (MSR, 2024)

Dynamic Taint Tracking for Modern Java Virtual Machines. - Katherine Hough; Jonathan Bell 001 (Proc. ACM Softw. Eng., 2025)