Automated test case design for software features