TY  - RPRT
TI  - LLM-based Code Auditing by Inferring and Evaluating Developer Assumptions
AU  - Junming Liu
AU  - Marcel Böhme
PY  - 2026
UR  - https://arxiv.org/abs/2610.15729
ID  - 2610.15729
ER  -