Keyphrases
- static analysis
- xml processing
- xml documents
- dynamic analysis
- source code
- regular expressions
- xml data
- attribute grammars
- xpath expressions
- xml queries
- xml databases
- symbolic execution
- java card
- relational database systems
- data management
- database
- test suite
- abstract interpretation
- xml schema
- query evaluation
- open source
- query language
- xpath queries