ICO: A Platform for Optimizing Highly Configurable Systems | IEEE Conference Publication | IEEE Xplore