Using recurrent neural networks for decompilation DS Katz, J Ruchti, E Schulte 2018 IEEE 25th International Conference on Software Analysis, Evolution and …, 2018 | 97 | 2018 |
Crashing simulated planes is cheap: Can simulation detect robotics bugs early? CS Timperley, A Afzal, DS Katz, JM Hernandez, C Le Goues 2018 IEEE 11th International Conference on Software Testing, Verification …, 2018 | 74 | 2018 |
Simulation for robotics test automation: Developer perspectives A Afzal, DS Katz, C Le Goues, CS Timperley 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 60 | 2021 |
A Study on the Challenges of Using Robotics Simulators for Testing A Afzal, DS Katz, C Le Goues, CS Timperley arXiv preprint arXiv:2004.07368, 2020 | 45 | 2020 |
Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness DS Katz, C Hutchison, M Zizyte, C Le Goues | 10 | 2020 |
Robustness Inside Out Testing DS Katz, M Zizyte, C Hutchison, D Guttendorf, PE Lanigan, E Sample, ... 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems …, 2020 | 7 | 2020 |
Identification of Software Failures in Complex Systems Using Low-Level Execution Data DS Katz Carnegie Mellon University, 2020 | 3 | 2020 |
Identification of Software Failures in Complex Systems Using Low-Level Execution Data DSS Katz Carnegie Mellon University Pittsburgh, PA, 2018 | 3 | 2018 |
Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software DS Katz, CS Timperley, CL Goues arXiv preprint arXiv:2201.12464, 2022 | 1 | 2022 |
Understanding intended behavior using models of low-level signals DS Katz Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 1 | 2017 |