• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

SIFOL: Solving Implicit Flows in Loops for Concolic Execution.

Yicheng ZengJiaqian PengZhihui ZhaoZhanwei SongHongsong ZhuLimin 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