Automata-based Static Analysis of XML Document Adaptation
Alessandro SolimandoGiorgio DelzannoGiovanna GuerriniPublished in: GandALF (2012)
Keyphrases
- static analysis
- xml documents
- dynamic analysis
- source code
- abstract interpretation
- symbolic execution
- malicious code
- xml schema
- regular expressions
- xml databases
- java card
- xml data
- querying xml documents
- xml queries
- test generation
- test suite
- tree structure
- xpath queries
- databases
- structured data
- html documents
- building blocks
- software engineering
- database systems