Encoding Adaptability of Software Engineering Tools as Algorithm Configuration Problem: A Case Study | IEEE Conference Publication | IEEE Xplore