A tool for validating Alloy specifications using test-case generation