Tests of Specifications