Updated specifications document to contain user stories for test cases.