Static Analysis of XML Transformations in Java.
Christian KirkegaardAnders MøllerMichael I. SchwartzbachPublished in: IEEE Trans. Software Eng. (2004)
Keyphrases
- static analysis
- source code
- java card
- dynamic analysis
- xml documents
- reusable components
- test suite
- object oriented
- code examples
- open source
- java programs
- xml schema
- regular expressions
- symbolic execution
- xml data
- advanced features
- malicious code
- databases
- software systems
- data exchange
- abstract interpretation
- object oriented databases
- metadata
- data integration
- database applications
- data model
- relational data
- relational databases
- high level
- programming language
- data types
- structured data
- test generation
- building blocks
- case study