Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- test suite
- abstract interpretation
- source code
- xml documents
- regular expressions
- xml data
- malicious code
- databases
- xml schema
- test generation
- java card
- java programs
- markup language
- relational databases
- data exchange
- open source
- xml format
- relational data
- data integration
- data model
- artificial intelligence
- api calls
- data types
- data sets
- metadata
- decision trees
- object oriented databases