Update spec with test cases