Specifications -- Combining Algebraic and Model-Based Test Case Generation -- Verifying