Search-Based Concolic Execution for SW Vulnerability Discovery.

Rustamov Fayozbek Minjun Choi Joobeom Yun

Published in: IEICE Trans. Inf. Syst. (2018)

Keyphrases

search space
search efficiency
search algorithm
search strategies
search queries
real time
heuristic search
search methods
search strategy
databases
relational databases
evolutionary algorithm
solution space
risk assessment
execution model