An overview on test generation from functional requirements | Publicación