Documentation-based functional constraint generation for library methods

Renhe Jiang, Zhengzhao Chen, Yu Pei 0001, Minxue Pan, Tian Zhang 0001, Xuandong Li. Documentation-based functional constraint generation for library methods. Softw. Test., Verif. Reliab., 31(8), 2021. [doi]

Abstract

Abstract is missing.