TY - CONF T1 - Semantic Mutation Analysis of Floating-Point Comparison JO - 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation UR - https://doi.org/10.1109/icst.2012.109 PY - 2012/06/21 AU - Dan H AU - Hierons RM ED - DO - DOI: 10.1109/icst.2012.109 PB - IEEE SP - 290 EP - 299 Y2 - 2025/11/05 ER -