Array-Carrying Symbolic Execution for Function Contract Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Weijie Lu' in GoogleThis author has not been identified. Look up 'Jingyu Ke' in GoogleThis author has not been identified. Look up 'Hongfei Fu 0001' in GoogleThis author has not been identified. Look up 'Zhouyue Sun' in GoogleThis author has not been identified. Look up 'Yi Zhou' in GoogleThis author has not been identified. Look up 'Guoqiang Li 0001' in GoogleThis author has not been identified. Look up 'Haokun Li' in Google

runs on WebDSL