Text this: Finding XPath Bugs in XML Document Processors via Differential Testing.