VIBeS Case Studies: Featured Transition Systems and Feature Models

Xavier Devroey's dataset contains featured transition systems and feature models used for evaluating behavioural model-based testing of software product lines. The models likely represent formal specifications of system behavior and variability, enabling research into automated test generation and analysis. Its availability under an Open Access license supports reproducibility in software engineering research.

Use Cases

• Generating test cases based on featured transition system specifications.
• Analyzing feature interactions based on provided feature models.
• Evaluating model-based testing algorithms for software product lines.
• Studying behavioral variability in configurable software systems.

Strengths

• Open Access (green) license facilitates reuse and verification.
• Dataset is associated with a specific, peer-reviewed doctoral dissertation from Delft University of Technology.
• Cross-platform presence on PapersWithCode suggests recognized utility in the research community.

Limitations

• Key metadata such as row count, file formats, and specific column names are unknown.
• The last update date is not provided, making freshness unclear.
• Platform tags include irrelevant domains (e.g., Chemistry, Philosophy), indicating potential metadata noise.

Provenance

Source

Xavier Devroey, Delft University of Technology

Collection Method

Created for evaluations presented in the doctoral dissertation 'Behavioural model-based testing of software product lines'.