Weijie Lu, Jingyu Ke, Hongfei Fu 0001, Zhouyue Sun, Yi Zhou, Guoqiang Li 0001, Haokun Li. Array-Carrying Symbolic Execution for Function Contract Generation. In Augusto Sampaio 0001, Marielle Stoelinga, editors, Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I. Volume 16556 of Lecture Notes in Computer Science, pages 397-418, Springer, 2026. [doi]
Abstract is missing.