Automated Refactoring of OCL Constraints with Search.
Hong LuShuai WangTao YueShaukat AliJan F. NygårdPublished in: IEEE Trans. Software Eng. (2019)
Keyphrases
- search algorithm
- constraint language
- intelligent search
- reducing the search space
- query processing
- search strategy
- constraint solver
- fully automated
- symmetry breaking
- source code
- search methods
- search strategies
- semi automated
- search queries
- search efficiency
- search tools
- constrained optimization
- database
- search space
- information retrieval
- data sets