Automatically generating search heuristics for concolic testing.

Sooyoung Cha Seongjoon Hong Junhee Lee Hakjoo Oh

Published in: ICSE (2018)

Keyphrases

automatically generating
search heuristics
constraint programming
automatically generated
evolutionary algorithm
search strategy
search algorithm
tabu search
branch and bound search
knapsack problem
beam search
english words
genetic algorithm
search strategies
search procedures
objective function