ART-DECOR Testing Services
Validating instances against specifications created in ART-DECOR
Specifying tests with ART DECOR
Test environment in ART
See XIS_maintenance on how to set up a test environment. Documentation on using XIS is detailed in ART_Tests