From Features to Roles, Artifact (SPLC2020)

This archive contains the implementation and the experiments discussed in the
SPLC'20 submission "From Features to Roles". These experiments aim to
illustrate the use of the role-based automata (RBA) framework and its
implementation for detecting hierarchical interactions between feature-oriented
systems and for detecting active interplays. Furthermore, the first experiment
also serves for demonstrating the scalability of the proposed modeling and
analysis approach.