The variability model constraints benchmark

This page provides the benchmark of variability model constraints described in the paper "A study of non-Boolean constraints in a variability model of an embedded operating system". The benchmark is given as a set of Clafer models. The .zip file provides the complete benchmark of all 116 Clafer models we produced.

eCos-benchmark-clafer.zip3.46 MB