Efficient static analysis of XML paths and types.

Pierre Genevès Nabil Layaïda Alan Schmitt

Published in: PLDI (2007)

Keyphrases

static analysis
dynamic analysis
source code
xml documents
databases
xml data
test suite
data exchange
xml queries
xml query processing