TASE: Reducing Latency of Symbolic Execution with Transactional Memory.
Adam HumphriesKartik Cating-SubramanianMichael K. ReiterPublished in: NDSS (2021)
Keyphrases
- symbolic execution
- static analysis
- test generation
- test data generation
- transactional memory
- specification language
- speculative execution
- source code
- artificial intelligence
- data flow
- response time
- computing systems
- parallel execution
- reverse engineering
- parallel algorithm
- simulated annealing algorithm
- parallel programming
- test cases
- database