TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving.

Xuwei Liu Wei You Zhuo Zhang Xiangyu Zhang

Published in: ISSTA (2022)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint solver
pattern matching
constraint satisfaction
constraint programming
data structure
regular expressions
string matching
input data
edit distance
finite domain