SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.

Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun

Browse the full ICSE paper archive.