Our technique, XPress, was evaluated for its effectiveness and efficiency in finding bugs for XPath expression processors.
The evaluation included investigating the effectiveness of XPress in finding new XPath-related bugs in established XML processors.
The query generation approach described in Section 3.2 was analyzed for its bug-finding efficiency in comparison to real-world baselines and a random generation approach.
The evaluation also compared the differential testing test oracle to the state-of-the-art oracle.