Sign in

Documentation-based functional constraint generation for library methods.

Renhe JiangZhengzhao ChenYu PeiMinxue PanTian ZhangXuandong 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