Combining Algebraic and Model-Based Test Case Generation | Publicación