Add some tests around the factory methods of Specifications