Array-Carrying Symbolic Execution for Function Contract Generation.

Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li

Browse the full FM paper archive.