Documentation‐based functional constraint generation for library methods. - Jiang, Renhe; Chen, Zhengzhao; Pei, Yu; Pan, Minxue; Zhang, Tian; Li, Xuandong (Software Testing: Verification & Reliability, 2021)