Optimal Refinement-based Array Constraint Solving for Symbolic Execution.

Meixi Liu Ziqi Shuai Luyao Liu Kelin Ma Ke Ma

Published in: APSEC (2022)

Keyphrases

constraint solving
symbolic execution
constraint satisfaction problems
constraint propagation
constraint logic programming
constraint satisfaction
constraint solver
dynamic programming
static analysis
test generation
pattern matching
case study
data flow
specification language