TY - CONF T1 - Semantic Mutation Analysis of Floating-Point Comparison JO - 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation PY - 2012/01/01 AU - Dan H AU - Hierons RM ED - DO - DOI: 10.1109/icst.2012.109 PB - IEEE SN - 9781457719066 Y2 - 2025/07/15 ER -