Patrice Godefroid, Johannes Kinder. Proving memory safety of floating-point computations by combining static and dynamic program analysis. In Paolo Tonella, Alessandro Orso, editors, Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. pages 1-12, ACM, 2010. [doi]
Abstract is missing.