Login / Signup
Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing.
Saahil Ognawala
Alexander Pretschner
Thomas Hutzelmann
Eirini Psallida
Ricardo Nales Amato
Published in:
CoRR (2018)
Keyphrases
</>
search strategy
search strategies
search algorithm
search space
mobile robot
simplex method
hill climbing
branch and bound search
effective pruning
information retrieval
special case
genetic algorithm
high resolution
context aware
tabu search
branch and bound