Static analysis of active XML systems.

Serge Abiteboul Luc Segoufin Victor Vianu

Published in: ACM Trans. Database Syst. (2009)

Keyphrases

static analysis
dynamic analysis
data sets
building blocks

source code
xml documents
xml schema
relational databases

data model
domain knowledge
retrieval systems

markup language
test generation
symbolic execution