Visualizations for User-supported State Space Exploration of Goal Models: Supplemental Material

Supplemental material for the research paper entitled, "Visualizations for User-supported State Space Exploration of Goal Models". This paper presents a technique for valuation-based filtering and coloring to assist users in understanding a solution space and selecting custom states from it. This supplement contains the data from our initial evaluation and associated models.