Array-Carrying Symbolic Execution for Function Contract Generation.

Sun, 01 Feb 2026 00:00:00 +0100

Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li:
Array-Carrying Symbolic Execution for Function Contract Generation. CoRR abs/2602.23216 (2026)