TY  - RPRT
TI  - Array-Carrying Symbolic Execution for Function Contract Generation
AU  - Weijie Lu
AU  - Jingyu Ke
AU  - Hongfei Fu
AU  - Zhouyue Sun
AU  - Yi Zhou
AU  - Guoqiang Li
AU  - Haokun Li
PY  - 2026
UR  - https://arxiv.org/abs/2602.23216
ID  - 2602.23216
ER  -