A Documentation-based Constraint Generation Method for Java APIs
Zejun Zhang, Shaobo Wu, Renhe Jiang, Minxue Pan, Tian Zhang · 2018
As the efficiency of constraint solvers increases, constraint solving has been widely used in many applications of software engineering, such as test case generation, program synthesis and code search. However, encoding source code into constraints is not an easy task. Particularly, when it comes to complex data structures of library functions, existing work cannot generate effective constraints.