SIFOL: Solving Implicit Flows in Loops for Concolic Execution.

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

Browse the full IPCCC paper archive.