关注
Deborah S. Katz
Deborah S. Katz
Senior Scientist, GrammaTech
在 cs.cmu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Using recurrent neural networks for decompilation
DS Katz, J Ruchti, E Schulte
2018 IEEE 25th International Conference on Software Analysis, Evolution and …, 2018
972018
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
742018
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
602021
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
452020
Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness
DS Katz, C Hutchison, M Zizyte, C Le Goues
102020
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
72020
Identification of Software Failures in Complex Systems Using Low-Level Execution Data
DS Katz
Carnegie Mellon University, 2020
32020
Identification of Software Failures in Complex Systems Using Low-Level Execution Data
DSS Katz
Carnegie Mellon University Pittsburgh, PA, 2018
32018
Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software
DS Katz, CS Timperley, CL Goues
arXiv preprint arXiv:2201.12464, 2022
12022
Understanding intended behavior using models of low-level signals
DS Katz
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
12017
系统目前无法执行此操作,请稍后再试。
文章 1–10