SIFOL: Solving Implicit Flows in Loops for Concolic Execution.

Yicheng Zeng Jiaqian Peng Zhihui Zhao Zhanwei Song Hongsong Zhu Limin Sun

Published in: IPCCC (2022)

Keyphrases

control flow
real time
machine learning
information retrieval
search engine
learning environment
support vector
multiresolution
cost function
operating system
data flow
solving problems
plan generation