Turning web services descriptions into quickcheck models for automatic testing | Publicación