Concolic testing with adaptively changing search heuristics.

Sooyoung Cha Hakjoo Oh

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

search heuristics
constraint programming
evolutionary algorithm
tabu search
search algorithm
search strategy
knapsack problem
branch and bound search
genetic algorithm
beam search
search space
web search
orders of magnitude
search strategies