In this paper, we present an approach for accelerating model-based robustness testing of state-based software components. We use the Z3 SAT solver to derive executable test cases fully automatically from a state model based on a UML Statechart. The test cases are paths along the Statechart comprising states and transitions. The main advantage of our approach is an accelerated execution of the test cases by refining already reached states as starting points for further test cases using reverse execution. Furthermore, the presented approach is able to check whether a correct target state has been reached or not when executing the path-based test cases using runtime verification and therefore increases the test significance. The runtime verification is done without instrumenting the source code of the component under test 1Compared to common testing processes, robustness testing addresses all three mentioned types of errors (errors occurred by expected but not tested values, data related errors and errors occurred by misusing the interface of the component). To achieve this, robustness testing needs an increased number of test cases. Therefore, automatic test case generation is often used to create the test cases. But most test case generation approaches only focus on proper parameter data generation. Resulting test cases are then used to check whether an operation of a component returns the expected results regarding the input data when calling it. This kind of black-box testing approach is sufficient for state-less components. Such a component, also called transformation system, can for example implement a discrete cosine transformation. Every call to a parameterized operation receives input data, processes it, and returns the corresponding result. Further calls of operations work without remembering the previous calls. In contrast to stateless systems, state-based systems always have to be aware of