Comparison and integration of genetic algorithms and dynamic symbolic execution for security testing of cross-site scripting vulnerabilities.
Andrea AvanciniMariano CeccatoPublished in: Inf. Softw. Technol. (2013)
Keyphrases
- symbolic execution
- information security
- test generation
- genetic algorithm
- test data generation
- static analysis
- security vulnerabilities
- security issues
- specification language
- security mechanisms
- source code
- test cases
- data flow
- simulated annealing
- artificial neural networks
- multi objective
- security requirements
- neural network
- smart card
- evolutionary algorithm
- search algorithm
- database
- network security
- fitness function
- intrusion detection
- security risks
- web services
- buffer overflow