Automatic test cases generation from formal contracts | Publicación