Automated refactoring of OCL constraints with search.

Hong Lu Shuai Wang Tao Yue Shaukat Ali Jan F. Nygård

Published in: ICSE (2018)

Keyphrases

search algorithm
constraint language
search space
constraint satisfaction
intelligent search
search strategies
search queries
database
search methods
search tools
search efficiency
search engine
user queries
constraint programming
metamodel