Proof-Producing Symbolic Execution for Binary Code Verification.
Andreas LindnerRoberto GuancialeMads DamPublished in: CoRR (2023)
Keyphrases
- symbolic execution
- binary codes
- test generation
- static analysis
- test data generation
- hamming distance
- specification language
- source code
- data flow
- similarity search
- image collections
- hash functions
- test cases
- data sets
- software architecture
- simulated annealing algorithm
- software systems
- programming language
- decision trees