Cadp, a prototype implementation of DOM-tree pattern matching for Web UI testing