Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis.
Corina S. PasareanuRody KerstenKasper Søe LuckowQuoc-Sang PhanPublished in: Adv. Comput. (2019)
Keyphrases
- symbolic execution
- security analysis
- worst case
- test generation
- test data generation
- static analysis
- public key
- source code
- specification language
- security requirements
- smart card
- data flow
- test cases
- software testing
- user authentication
- encryption scheme
- case study
- simulated annealing algorithm
- artificial intelligence
- test suite
- databases
- simulated annealing
- open source
- object oriented
- genetic algorithm