The software development life cycle (SDLC) is incomplete without the software testing phase. It's the act of checking that a piece of software really does what it's supposed to. Test case creation is one of the testing tasks that have a major impact on the quality and speed with which the process is completed. Research into the automated production of test cases has been extensive because of the time and energy it can save over the human method of creating test cases. While most of the recommended methods are based on UML models, other publications have given a specifications-based method of creating test cases. This literature analysis focuses on automated test case generation strategies based on use case specifications and the techniques used to verify them. The analysis also highlights the ways in which the methods diverge when used to solving certain pressing problems in software testing.