Test case generation for adequacy of floating-point to fixed-point conversion - Pham, T.-H. (2013)
10.1016/j.entcs.2010.08.048