Finding XPath Bugs in XML Document Processors via Differential Testing.
Shuxin LiManuel RiggerPublished in: CoRR (2024)
Keyphrases
- xml documents
- xml data
- xpath queries
- test cases
- xml processing
- xml queries
- xml schema
- relational databases
- integrity constraints
- structured data
- xml databases
- data model
- query evaluation
- keyword search
- querying xml documents
- xpath expressions
- parallel processing
- tree structure
- sql queries
- xml query processing
- xml trees
- path expressions
- labeling scheme
- semi structured data
- transitive closure
- parallel algorithm
- xml elements
- parallel computing
- xml query languages
- source code
- databases
- query language
- keywords