FORMAT: A Tool for Adapting Test Models Based on Feature Models | IEEE Conference Publication | IEEE Xplore