TASE: Reducing latency of symbolic execution with transactional memory.

Adam Humphries Kartik Cating-Subramanian Michael K. Reiter

Published in: CoRR (2019)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
transactional memory
specification language
source code
speculative execution
databases
test cases
parallel computing
parallel architectures
massively parallel
data flow
response time
database systems
high level