Finding Round-Off Error Using Symbolic Execution. - Anh-Hoang Truong; Huy-Vu Tran; Bao-Ngoc Nguyen (KSE (1), 2013)