Understanding intended behavior using models of low-level signals. - Deborah S. Katz (ISSTA, 2017)

Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? - Christopher Steven Timperley; Afsoon Afzal; Deborah S. Katz; Jam Marcos Hernandez; Claire Le Goues (ICST, 2018)

Using recurrent neural networks for decompilation. - Deborah S. Katz; Jason Ruchti; Eric M. Schulte (SANER, 2018)

Robustness Inside Out Testing. - Deborah S. Katz; Milda Zizyte; Casidhe Hutchison; David Guttendorf; Patrick E. Lanigan; Eric M. Sample; Philip Koopman; Michael Wagner 007; Claire Le Goues (DSN (Supplements), 2020)

Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness. - Deborah S. Katz; Casidhe Hutchison; Milda Zizyte; Claire Le Goues (ICRA, 2020)

A Study on the Challenges of Using Robotics Simulators for Testing. - Afsoon Afzal; Deborah S. Katz; Claire Le Goues; Christopher Steven Timperley (CoRR, 2020)

Simulation for Robotics Test Automation: Developer Perspectives. - Afsoon Afzal; Deborah S. Katz; Claire Le Goues; Christopher Steven Timperley (ICST, 2021)

Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software. - Deborah S. Katz; Christopher Steven Timperley; Claire Le Goues (CoRR, 2022)