Semantic Mutation Analysis of Floating-Point Comparison

Haitao Dan, Robert M. Hierons. Semantic Mutation Analysis of Floating-Point Comparison. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 290-299, IEEE, 2012. [doi]

Abstract

Abstract is missing.