Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution.
T. D. OvasapyanP. V. KnyazevDmitry A. MoskvinPublished in: Autom. Control. Comput. Sci. (2021)
Keyphrases
- test data generation
- symbolic execution
- test cases
- simulated annealing algorithm
- static analysis
- search algorithm
- source code
- software development
- search space
- neural network
- search strategies
- software testing
- general purpose
- software systems
- search strategy
- data flow
- artificial intelligence
- training data
- case study
- high level
- specification language
- software architecture
- query language