FM Characterization Fact Label

Upload your feature model
Supported formats: UVL (.uvl), FeatureIDE (.xml, .fide), Glencoe (.gfm.json)
Upload your characterization in JSON
Supported formats: JSON (.json)
Current version: 1.7.0

See changelog.

How to cite

José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides. FM Fact Label. Science of Computer Programming (SCP). 2025. DOI: https://doi.org/10.1016/j.scico.2024.103214

More info

Visit the official website of FM Fact Label.

Usage stats

Total fact labels generated: 27

We value your privacy: this service does not store any personal data or models. When submitting a model, only your IP location (continent, country, city) is collected solely for statistical purposes. By using this service, you consent to this data collection.