Automating property-based testing of evolving web services | Publicación