Sign in

Static analysis of active XML systems.

Serge AbiteboulLuc SegoufinVictor 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