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]

Authors

Renhe Jiang

This author has not been identified. Look up 'Renhe Jiang' in Google

Zhengzhao Chen

This author has not been identified. Look up 'Zhengzhao Chen' in Google

Yu Pei 0001

This author has not been identified. Look up 'Yu Pei 0001' in Google

Minxue Pan

This author has not been identified. Look up 'Minxue Pan' in Google

Tian Zhang 0001

This author has not been identified. Look up 'Tian Zhang 0001' in Google

Xuandong Li

This author has not been identified. Look up 'Xuandong Li' in Google