Added specification tests