Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046104010> ?p ?o ?g. }
- W2046104010 endingPage "539" @default.
- W2046104010 startingPage "529" @default.
- W2046104010 abstract "It is well-known that using floating-point numbers may inevitably result in inaccurate results and sometimes even cause serious software failures. Safety-critical software often has strict requirements on the upper bound of inaccuracy, and a crucial task in testing is to check whether significant inaccuracies may be produced. The main existing approach to the floating-point inaccuracy problem is error analysis, which produces an upper bound of inaccuracies that may occur. However, a high upper bound does not guarantee the existence of inaccuracy defects, nor does it give developers any concrete test inputs for debugging. In this paper, we propose the first metaheuristic search-based approach to automatically generating test inputs that aim to trigger significant inaccuracies in floating-point programs. Our approach is based on the following two insights: (1) with FPDebug, a recently proposed dynamic analysis approach, we can build a reliable fitness function to guide the search; (2) two main factors -- the scales of exponents and the bit formations of significands -- may have significant impact on the accuracy of the output, but in largely different ways. We have implemented and evaluated our approach over 154 real-world floating-point functions. The results show that our approach can detect significant inaccuracies in the subjects." @default.
- W2046104010 created "2016-06-24" @default.
- W2046104010 creator A5005604635 @default.
- W2046104010 creator A5016900183 @default.
- W2046104010 creator A5038550310 @default.
- W2046104010 creator A5048327732 @default.
- W2046104010 creator A5055454540 @default.
- W2046104010 creator A5065937088 @default.
- W2046104010 date "2015-05-16" @default.
- W2046104010 modified "2023-09-24" @default.
- W2046104010 title "A genetic algorithm for detecting significant floating-point inaccuracies" @default.
- W2046104010 cites W1550894544 @default.
- W2046104010 cites W1552628726 @default.
- W2046104010 cites W1558758677 @default.
- W2046104010 cites W1824011918 @default.
- W2046104010 cites W1938260438 @default.
- W2046104010 cites W1966151649 @default.
- W2046104010 cites W1978970913 @default.
- W2046104010 cites W1982483659 @default.
- W2046104010 cites W1986969990 @default.
- W2046104010 cites W1999858616 @default.
- W2046104010 cites W2016232724 @default.
- W2046104010 cites W2020804487 @default.
- W2046104010 cites W2028569720 @default.
- W2046104010 cites W2041091076 @default.
- W2046104010 cites W2048854494 @default.
- W2046104010 cites W2053808552 @default.
- W2046104010 cites W2063251174 @default.
- W2046104010 cites W2064068519 @default.
- W2046104010 cites W2066536303 @default.
- W2046104010 cites W2081368694 @default.
- W2046104010 cites W2096654515 @default.
- W2046104010 cites W2101512909 @default.
- W2046104010 cites W2107220315 @default.
- W2046104010 cites W2114869486 @default.
- W2046104010 cites W2121050107 @default.
- W2046104010 cites W2121344286 @default.
- W2046104010 cites W2121764011 @default.
- W2046104010 cites W2122738744 @default.
- W2046104010 cites W2130920933 @default.
- W2046104010 cites W2150118230 @default.
- W2046104010 cites W2169004268 @default.
- W2046104010 cites W22051136 @default.
- W2046104010 cites W2610467942 @default.
- W2046104010 cites W3015537608 @default.
- W2046104010 cites W79353637 @default.
- W2046104010 doi "https://doi.org/10.5555/2818754.2818820" @default.
- W2046104010 hasPublicationYear "2015" @default.
- W2046104010 type Work @default.
- W2046104010 sameAs 2046104010 @default.
- W2046104010 citedByCount "8" @default.
- W2046104010 countsByYear W20461040102015 @default.
- W2046104010 countsByYear W20461040102016 @default.
- W2046104010 countsByYear W20461040102017 @default.
- W2046104010 countsByYear W20461040102019 @default.
- W2046104010 countsByYear W20461040102021 @default.
- W2046104010 crossrefType "proceedings-article" @default.
- W2046104010 hasAuthorship W2046104010A5005604635 @default.
- W2046104010 hasAuthorship W2046104010A5016900183 @default.
- W2046104010 hasAuthorship W2046104010A5038550310 @default.
- W2046104010 hasAuthorship W2046104010A5048327732 @default.
- W2046104010 hasAuthorship W2046104010A5055454540 @default.
- W2046104010 hasAuthorship W2046104010A5065937088 @default.
- W2046104010 hasConcept C11413529 @default.
- W2046104010 hasConcept C119857082 @default.
- W2046104010 hasConcept C127413603 @default.
- W2046104010 hasConcept C128942645 @default.
- W2046104010 hasConcept C134306372 @default.
- W2046104010 hasConcept C14036430 @default.
- W2046104010 hasConcept C152877465 @default.
- W2046104010 hasConcept C168065819 @default.
- W2046104010 hasConcept C199360897 @default.
- W2046104010 hasConcept C201995342 @default.
- W2046104010 hasConcept C2524010 @default.
- W2046104010 hasConcept C2777904410 @default.
- W2046104010 hasConcept C2780451532 @default.
- W2046104010 hasConcept C28719098 @default.
- W2046104010 hasConcept C33923547 @default.
- W2046104010 hasConcept C41008148 @default.
- W2046104010 hasConcept C77553402 @default.
- W2046104010 hasConcept C78458016 @default.
- W2046104010 hasConcept C84211073 @default.
- W2046104010 hasConcept C86803240 @default.
- W2046104010 hasConceptScore W2046104010C11413529 @default.
- W2046104010 hasConceptScore W2046104010C119857082 @default.
- W2046104010 hasConceptScore W2046104010C127413603 @default.
- W2046104010 hasConceptScore W2046104010C128942645 @default.
- W2046104010 hasConceptScore W2046104010C134306372 @default.
- W2046104010 hasConceptScore W2046104010C14036430 @default.
- W2046104010 hasConceptScore W2046104010C152877465 @default.
- W2046104010 hasConceptScore W2046104010C168065819 @default.
- W2046104010 hasConceptScore W2046104010C199360897 @default.
- W2046104010 hasConceptScore W2046104010C201995342 @default.
- W2046104010 hasConceptScore W2046104010C2524010 @default.
- W2046104010 hasConceptScore W2046104010C2777904410 @default.
- W2046104010 hasConceptScore W2046104010C2780451532 @default.
- W2046104010 hasConceptScore W2046104010C28719098 @default.
- W2046104010 hasConceptScore W2046104010C33923547 @default.