Presenting A General Automated Testing Approach for Detecting XPath-Related Logic Bugs

13 Mar 2025

This paper has presented a general automated testing approach for detecting XPath-related logic bugs in XML processors.

Finding XPath Bugs in XML Document Processors: Testing XPath Functionality and Other Related Work

12 Mar 2025

Various approaches to benchmarking XPath implementations or test suites for them have been proposed

An Analysis of BaseX Historical Bug Reports

12 Mar 2025

We analyzed all historical BaseX bug reports in its GitHub bug tracker.

Index Support in BaseX, eXist-DB, Saxon, and libxml2: Explained

12 Mar 2025

We are aware of only one automated testing approach that has been proposed to test XML processors

Finding XPath Bugs in XML Document Processors: Existing-Generator Baselines and More

12 Mar 2025

We considered the only two—to the best of our knowledge—approaches to generate XPath expressions.

Showing XPress’ Effectiveness Through the Number of Bugs Found, Developer Feedback, etc.

12 Mar 2025

In this section, we show XPress’ effectiveness through the number of bugs found, developer feedback, and illustrative examples.

Is Our Technique Effective in Finding Bugs for XPath Expression Processors? An Investigation

11 Mar 2025

In the evaluation, we sought to investigate whether our technique is effective and efficient in finding bugs for XPath expression processors.

How We Generated XML Documents: Tree Creation and Node Generation

11 Mar 2025

In this section, we outline how we generate XML documents (step 1), which we do not consider part of our core contribution.

XPath Expression Generation: How We Generated XPath Queries

8 Mar 2025

In this section, we introduce how we generate XPath queries. We encountered two main challenges that we had to tackle when generating XPath expressions.