Login / Signup
Documentation-based functional constraint generation for library methods.
Renhe Jiang
Zhengzhao Chen
Yu Pei
Minxue Pan
Tian Zhang
Xuandong Li
Published in:
Softw. Test. Verification Reliab. (2021)
Keyphrases
</>
computationally expensive
computational cost
statistical models
machine learning methods
generation process
significant improvement
data mining techniques
qualitative and quantitative
optimization methods