Static Analysis of XML Document Adaptations.
Alessandro SolimandoGiorgio DelzannoGiovanna GuerriniPublished in: ER Workshops (2012)
Keyphrases
- static analysis
- xml documents
- dynamic analysis
- xml schema
- regular expressions
- source code
- xml data
- relational databases
- querying xml documents
- test generation
- xml queries
- malicious code
- xml databases
- symbolic execution
- structured data
- data model
- relational data
- xpath queries
- tree structure
- java card
- test suite
- integrity constraints
- html documents
- abstract interpretation
- semantic information
- domain knowledge
- training data
- real world
- test set
- database