a dynamic analysis tool to find interactions among configuration options in highly-configurable software.