Program Specialization as a Tool for Solving Word Equations.
Antonina NepeivodaPublished in: VPT@ETAPS (2021)
Keyphrases
- nonlinear equations
- co occurrence
- polynomial equations
- algebraic equations
- information retrieval
- program understanding
- search based software testing
- set of linear equations
- numerical solution
- similarity measure
- computer programs
- program execution
- software tools
- mathematical model
- n gram
- programming language
- neural network