Symbolic Execution of Floating-point Programs: How far are we?

Guofeng Zhang, Zhenbang Chen, Ziqi Shuai

Browse the full APSEC paper archive.