Keyphrases
- symbolic execution
- sql injection
- static analysis
- injection attacks
- test generation
- test data generation
- web applications
- security vulnerabilities
- countermeasures
- source code
- specification language
- security issues
- data flow
- database
- genetic algorithm
- test cases
- data mining
- programming language
- general purpose
- data model
- information systems
- artificial intelligence