X-Model-based testing of XSLT applications