Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report).

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

Published in: CoRR (2024)

Keyphrases

technical report
boolean expressions
normal form
real valued
conjunctive queries
database
information retrieval
xml documents
special case
np complete
database design
integrity constraints