Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage.

Martin Jonás Jan Strejcek Marek Trtík Lukás Urban

Published in: TACAS (3) (2024)

Keyphrases

boolean expressions
normal form
conjunctive queries
real valued
objective function
internal nodes
data mining
data management
inverted lists