Automatic property-based testing and path validation of XQuery programs | Publicación