collaborators

1 paper

cs.SE2026

Library-Aware Doubles and Iterative Repair for Large Language Model-Generated Unit Tests in OpenSIL Firmware

Ma Toan Bach, Yuchi Zheng, Haingo Razafindranto +4

Validating changes in low-level C firmware is expensive because unit tests (UTs) are fragile under strict build constraints, where missing headers, unresolved symbols, and dependen…