Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing.

Mingi Cho Seoyoung Kim Taekyoung Kwon

Published in: CCS (2019)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint solver
constraint satisfaction problems
constraint satisfaction
constraint programming
higher level
levels of abstraction
computational complexity