1. Documentation‐based functional constraint generation for library methods. (26th July 2021) Authors: Jiang, Renhe; Chen, Zhengzhao; Pei, Yu; Pan, Minxue; Zhang, Tian; Li, Xuandong Journal: Software testing, verification & reliability Issue: Volume 31:Number 8(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗