Documentation-based functional constraint generation for library methods

Renhe Jiang, zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li

Research output: Journal article publicationJournal articleAcademic researchpeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Documentation-based functional constraint generation for library methods'. Together they form a unique fingerprint.

Keyphrases

Computer Science