Axini offers a commercial platform to perform model-based software testing, using models written in Axini’s Modeling Language. To verify properties of a system, they use scenario constructs that describe these properties, which are matched against automatically generated test cases. These scenarios are used as alternatives to properties written in Linear Temporal Logic. We provide a translation from a fragment of this logic to scenarios. Moreover, we present a method, using scenarios, to automatically generate test cases, based on the requirements of the system. Experiments show the effectiveness of the method.