A Partial-Lifting-Based Compiling Concolic Execution Approach.

Haotian Zhang Weiyu Dong Jian Lin

Published in: CSP (2021)

Keyphrases

wavelet transform
execution model
constraint satisfaction problems
plan execution
active rules
execution traces
data sets
decision making
user interface
workflow management systems
control flow
lifting scheme
memory management