Identifying and classifying ambiguity for regulatory requirements. - Aaron K. Massey; Richard Rutledge; Annie I. Antón; Peter P. Swire (RE, 2014)

Privacy Impacts of IoT Devices: A SmartTV Case Study. - Richard Rutledge; Aaron K. Massey; Annie I. Antón (RE Workshops, 2016)

Zero-overhead path prediction with progressive symbolic execution. - Richard Rutledge; Sunjae Park; Haider Adnan Khan; Alessandro Orso; Milos Prvulovic; Alenka G. Zajic (ICSE, 2019)

PG-KLEE: trading soundness for coverage. - Richard Rutledge; Alessandro Orso (ICSE (Companion Volume), 2020)

Automating Differential Testing with Overapproximate Symbolic Execution. - Richard Rutledge; Alessandro Orso (ICST, 2022)

On The Use of Over-Approximate Analysis in Support of Software Development and Testing. - Richard Rutledge (2023)

Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs. - Vivek Kale; Hanru Yan; Shyamali Mukherjee; Jackson R. Mayo; Keita Teranishi; Richard Rutledge; Alessandro Orso (SC Workshops, 2024)