A Partition-Based Approach for XPath Testing | IEEE Conference Publication | IEEE Xplore