Add coverage of Specifications