Competition Domains
Domain models, generators and testing problems can be downloaded here.
A description of the domains is available at:
The method used for selecting instances is described here .Submitted Domains
In addition to the domains used in the competition, other people have contributed with domains that finally have not been included. The descriptions of the domains will be available soon. Even if they were not finally used, we want to thanks the authors for having submitted them.