Material used in the article:
S. Segura, A. Durán, Ana B. Sánchez, D. Le Berre, E. Lonca and A. Ruiz-Cortés. Automated Metamorphic Testing of Variability Analysis Tools. Submitted to Software Testing Verification and Reliability. 2014.
Feature Model Test Data Generator
CUDF Test Data Generator
CNF Formula Test Data Generator
Feature Models: 1,000 feature models in XML format plus their corresponding set of products in CSV format.
Feature Models (edit operations): 1,000 couples of feature models in XML format plus their corresponding set of products in CSV format.
Feature Models (prolog): Prolog code with input feature models and their expected outputs. One file per analysis operation under test.
CUDF Documents: 1,000 CUDF documents and their respective set of configurations in CSV format.
CNF Formulas: 10,000 CNF formulas en DIMACS format plus their respective set of solutions in CSV format.