Microcontrollers, IoT Devices, No-std Programming, Real-time Systems
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·2d
Loading...Loading more...
Microcontrollers, IoT Devices, No-std Programming, Real-time Systems