Finding XPath Bugs in XML Document Processors via Differential Testing. - Li, Shuxin; Rigger, Manuel (ICSE: International Conference on Software Engineering, 2024)