Interval constraint-based mutation testing of numerical specifications-Reference-Cited by-同舟云学术

Interval constraint-based mutation testing of numerical specifications

Published:2021-07-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Jeangoudoux Clothilde¹,Darulova Eva¹^ORCID,Lauter Christoph²

Affiliation:

1. MPI-SWS, Germany

2. University of Alaska at Anchorage, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3460319.3464808

Reference62 articles.

1. 2008. IEEE Standard for Floating-Point Arithmetic. https://doi.org/10.1109/IEEESTD.2008.4610935 10.1109/IEEESTD.2008.4610935 2008. IEEE Standard for Floating-Point Arithmetic. https://doi.org/10.1109/IEEESTD.2008.4610935 10.1109/IEEESTD.2008.4610935

2. Carlos Acosta Martine Ceberio and Christian Servin. 2008. A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers. In Software Engineering Research & Practice (SERP). Carlos Acosta Martine Ceberio and Christian Servin. 2008. A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers. In Software Engineering Research & Practice (SERP).

3. Konstantinos Adamopoulos Mark Harman and Robert Hierons. 2004. How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. In Genetic and Evolutionary Computation (GECCO). https://doi.org/10.1007/978-3-540-24855-2_155 10.1007/978-3-540-24855-2_155 Konstantinos Adamopoulos Mark Harman and Robert Hierons. 2004. How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. In Genetic and Evolutionary Computation (GECCO). https://doi.org/10.1007/978-3-540-24855-2_155 10.1007/978-3-540-24855-2_155

4. Contract-based Mutation Testing in the Refinement Calculus