Validating Hare’s Sort Module using Symbolic Execution - 新闻列表