Static program analysis
相关论文数: 5
顶级研究者
最高引用论文
Static analysis techniques for robotics software verification
Agostino Cortesi, Pietro Ferrara, Nabendu Chaki
引用数: 11 • 2013
Chatbots As Fluent Polyglots: Revisiting Breakthrough Code Snippets
David Noever, Kevin Williams
引用数: 7 • 2023
Improvement Practices in the Performance of a CPS Multiple-Joint Robotics Simulator
Bo Kyung Park, Byungkook Jeon, R. Young Chul Kim
引用数: 3 • 2019
A Knowledge Sharing Platform for Learning from Others’ Code
Shintaro Maeda, Kento Koike, Takahito Tomoto
引用数: 2 • 2022
Software Quality Assessment for Robot Operating System
Mohannad Alhanahnah
引用数: 2 • 2020