Revised the paragraph about the manually written test cases. Format preserved.