{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:10Z","timestamp":1750220470653,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,11]]},"DOI":"10.1145\/3460319.3464808","type":"proceedings-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T22:18:43Z","timestamp":1625782723000},"page":"388-399","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Interval constraint-based mutation testing of numerical specifications"],"prefix":"10.1145","author":[{"given":"Clothilde","family":"Jeangoudoux","sequence":"first","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6848-3163","authenticated-orcid":false,"given":"Eva","family":"Darulova","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Lauter","sequence":"additional","affiliation":[{"name":"University of Alaska at Anchorage, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"volume-title":"Handbook of Constraint Programming (Foundations of Artificial Intelligence","key":"e_1_3_2_1_1_1","unstructured":"2006. Handbook of Constraint Programming (Foundations of Artificial Intelligence , Vol. 2). Elsevier. isbn:978-0-444-52726- 4 http:\/\/www.sciencedirect.com\/science\/bookseries\/15746526\/2 2006. Handbook of Constraint Programming (Foundations of Artificial Intelligence, Vol. 2). Elsevier. isbn:978-0-444-52726-4 http:\/\/www.sciencedirect.com\/science\/bookseries\/15746526\/2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2008.4610935"},{"key":"e_1_3_2_1_3_1","unstructured":"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)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_155"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82561-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254118"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/141000671"},{"key":"e_1_3_2_1_10_1","volume-title":"Julia: A Fast Dynamic Language for Technical Computing. In Lang.NEXT.","author":"Bezanzon Jeff","year":"2012","unstructured":"Jeff Bezanzon , Stefan Karpinski , Viral Shah , and Alan Edelman . 2012 . Julia: A Fast Dynamic Language for Technical Computing. In Lang.NEXT. Jeff Bezanzon, Stefan Karpinski, Viral Shah, and Alan Edelman. 2012. Julia: A Fast Dynamic Language for Technical Computing. In Lang.NEXT."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625279"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(85)90011-6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.03.002"},{"key":"e_1_3_2_1_14_1","volume-title":"Metamorphic Testing: A New Approach for Generating Next Test Cases. arxiv:2002.12543.","author":"Chen T. Y.","year":"2015","unstructured":"T. Y. Chen , S. C. Cheung , and S. M. Yiu . 2015 . Metamorphic Testing: A New Approach for Generating Next Test Cases. arxiv:2002.12543. T. Y. Chen, S. C. Cheung, and S. M. Yiu. 2015. Metamorphic Testing: A New Approach for Generating Next Test Cases. arxiv:2002.12543."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_2_1_16_1","unstructured":"Jens Clausen. 1999. Branch and Bound Algorithms \u2013 Principles And Examples. https:\/\/imada.sdu.dk\/~jbj\/DM85\/TSPtext.pdf  Jens Clausen. 1999. Branch and Bound Algorithms \u2013 Principles And Examples. https:\/\/imada.sdu.dk\/~jbj\/DM85\/TSPtext.pdf"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593891"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593737"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-54292-8_6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_15"},{"volume-title":"Theories of Interval Arithmetic: Mathematical Foundations and Applications","author":"Dawood Hend","key":"e_1_3_2_1_21_1","unstructured":"Hend Dawood . 2011. Theories of Interval Arithmetic: Mathematical Foundations and Applications . LAP Lambert Academic Publishing . isbn:9783846501542 Hend Dawood. 2011. Theories of Interval Arithmetic: Mathematical Foundations and Applications. LAP Lambert Academic Publishing. isbn:9783846501542"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_17"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1728"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.28"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0355-9"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314632"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2003.1245319"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"E. Goubault and S. Putot. 2011. Static Analysis of Finite Precision Computations. In Verification Model Checking and Abstract Interpretation (VMCAI).  E. Goubault and S. Putot. 2011. Static Analysis of Finite Precision Computations. In Verification Model Checking and Abstract Interpretation (VMCAI).","DOI":"10.1007\/978-3-642-18275-4_17"},{"key":"e_1_3_2_1_32_1","unstructured":"Laurent Granvilliers. 2004. RealPaver User\u2019s Manual Solving Nonlinear Constraints by Interval Computations.  Laurent Granvilliers. 2004. RealPaver User\u2019s Manual Solving Nonlinear Constraints by Interval Computations."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132973.1132980"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9386-2"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013-9365-7"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.016"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115670"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3015465"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Karl Meinke and Fei Niu. 2010. A Learning-Based Approach to Unit Testing of Numerical Software. In Testing Software and Systems.  Karl Meinke and Fei Niu. 2010. A Learning-Based Approach to Unit Testing of Numerical Software. In Testing Software and Systems.","DOI":"10.1007\/978-3-642-16573-3_16"},{"volume-title":"Interval Analysis","author":"Moore R.E.","key":"e_1_3_2_1_41_1","unstructured":"R.E. Moore . 1966. Interval Analysis . Prentice-Hall . R.E. Moore. 1966. Interval Analysis. Prentice-Hall."},{"key":"e_1_3_2_1_42_1","volume":"200","author":"Moore Ramon E.","unstructured":"Ramon E. Moore , R. Baker Kearfott , and Michael J. Cloud. 200 9. Introduction to Interval Analysis. Society for Industrial and Applied Mathematics. isbn:0898716691, 9780898716696 Ramon E. Moore, R. Baker Kearfott, and Michael J. Cloud. 2009. Introduction to Interval Analysis. Society for Industrial and Applied Mathematics. isbn:0898716691, 9780898716696","journal-title":"Michael J. Cloud."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66266-4_14"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<205::AID-STVR186>3.0.CO;2-X"},{"key":"e_1_3_2_1_45_1","volume-title":"Handbook of Floating-Point Arithmetic","author":"Muller Jean-Michel","unstructured":"Jean-Michel Muller , Nicolas Brunie , Florent de Dinechin , and Claude-Pierre Jeannerod . 2018. Handbook of Floating-Point Arithmetic , 2 nd edition. Birkh\u00e4user Boston . isbn:978-3-319-76525-9 Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, and Claude-Pierre Jeannerod. 2018. Handbook of Floating-Point Arithmetic, 2nd edition. Birkh\u00e4user Boston. isbn:978-3-319-76525-9","edition":"2"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572295"},{"key":"e_1_3_2_1_47_1","volume-title":"Using Constraints for Equivalent Mutant Detection. In Workshop on Formal Methods in the Development of Software (WS-FMDS).","author":"Nica Simona","year":"2012","unstructured":"Simona Nica and Franz Wotawa . 2012 . Using Constraints for Equivalent Mutant Detection. In Workshop on Formal Methods in the Development of Software (WS-FMDS). Simona Nica and Franz Wotawa. 2012. Using Constraints for Equivalent Mutant Detection. In Workshop on Formal Methods in the Development of Software (WS-FMDS)."},{"key":"e_1_3_2_1_48_1","volume-title":"Decreasing the cost of mutation testing with second-order mutants. Softw. Test. Verification Reliab., 19","author":"Polo Macario","year":"2009","unstructured":"Macario Polo , Mario Piattini , and Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n . 2009. Decreasing the cost of mutation testing with second-order mutants. Softw. Test. Verification Reliab., 19 ( 2009 ). Macario Polo, Mario Piattini, and Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n. 2009. Decreasing the cost of mutation testing with second-order mutants. Softw. Test. Verification Reliab., 19 (2009)."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33558-7_43"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0154-2"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0154-2"},{"volume-title":"Software Considerations in Airborne Systems and Equipment Certification. RTCA","author":"RTCA Special Committee 205 and EUROCAE Working Group 71. 2011. DO\u2013178C, ED\u201312C","key":"e_1_3_2_1_52_1","unstructured":"RTCA Special Committee 205 and EUROCAE Working Group 71. 2011. DO\u2013178C, ED\u201312C , Software Considerations in Airborne Systems and Equipment Certification. RTCA , Inc . RTCA Special Committee 205 and EUROCAE Working Group 71. 2011. DO\u2013178C, ED\u201312C, Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/2872965.2872975"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230733"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0245-8"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"volume-title":"Model-based testing for embedded systems","author":"Papailiopoulou Virginia","key":"e_1_3_2_1_58_1","unstructured":"Virginia Papailiopoulou , Besnik Seljimi , and Ioannis Parissis . 2011. Automatic Testing of LUSTRE\/SCADE Programs . In Model-based testing for embedded systems . CRC Press . Virginia Papailiopoulou, Besnik Seljimi, and Ioannis Parissis. 2011. Automatic Testing of LUSTRE\/SCADE Programs. In Model-based testing for embedded systems. CRC Press."},{"key":"e_1_3_2_1_59_1","unstructured":"M. R. Woodward. 1992. OBJTEST: an experimental testing tool for algebraic specifications. In IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying .  M. R. Woodward. 1992. OBJTEST: an experimental testing tool for algebraic specifications. In IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying ."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC.2012.6398362"},{"key":"e_1_3_2_1_61_1","unstructured":"Randy Yates. 2013 (accessed May 9 2020). Fixed-Point Arithmetic: An Introduction. http:\/\/www.digitalsignallabs.com\/fp.pdf  Randy Yates. 2013 (accessed May 9 2020). Fixed-Point Arithmetic: An Introduction. http:\/\/www.digitalsignallabs.com\/fp.pdf"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.70"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371128"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Denmark","acronym":"ISSTA '21"},"container-title":["Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460319.3464808","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460319.3464808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:31Z","timestamp":1750193311000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460319.3464808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":62,"alternative-id":["10.1145\/3460319.3464808","10.1145\/3460319"],"URL":"https:\/\/doi.org\/10.1145\/3460319.3464808","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}