Guofeng Zhang 0005, Zhenbang Chen, Ziqi Shuai. Symbolic Execution of Floating-point Programs: How far are we?. In 29th Asia-Pacific Software Engineering Conference, APSEC 2022, Virtual Event, Japan, December 6-9, 2022. pages 179-188, IEEE, 2022. [doi]
Abstract is missing.