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

Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang 0001, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun. SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 61-64, ACM, 2018. [doi]

Authors

Mingzhe Wang

This author has not been identified. Look up 'Mingzhe Wang' in Google

Jie Liang

This author has not been identified. Look up 'Jie Liang' in Google

Yuanliang Chen

This author has not been identified. Look up 'Yuanliang Chen' in Google

Yu Jiang 0001

This author has not been identified. Look up 'Yu Jiang 0001' in Google

Xun Jiao

This author has not been identified. Look up 'Xun Jiao' in Google

Han Liu

This author has not been identified. Look up 'Han Liu' in Google

Xibin Zhao

This author has not been identified. Look up 'Xibin Zhao' in Google

Jiaguang Sun

This author has not been identified. Look up 'Jiaguang Sun' in Google