Matches in SemOpenAlex for { <https://semopenalex.org/work/W2561644314> ?p ?o ?g. }
- W2561644314 endingPage "994" @default.
- W2561644314 startingPage "975" @default.
- W2561644314 abstract "Numerical instability is a well-known problem that may cause serious runtime failures. This paper discusses the reason of instability in software development process, and presents a toolchain that not only detects the potential instability in software, but also diagnoses the reason for such instability. We classify the reason of instability into two categories. When it is introduced by software requirements, we call the instability caused by problem . In this case, it cannot be avoided by improving software development, but requires inspecting the requirements, especially the underlying mathematical properties. Otherwise, we call the instability caused by practice. We design our toolchain as four loosely-coupled tools, which combine stochastic arithmetic with infinite-precision testing. Each tool in our toolchain can be configured with different strategies according to the properties of the analyzed software. We evaluate our toolchain on subjects from literature. The results show that it effectively detects and separates the instabilities caused by problems from others. We also conduct an evaluation on the latest version of GNU Scientific Library, and the toolchain finds a few real bugs in the well-maintained and widely deployed numerical library. With the help of our toolchain, we report the details and fixing advices to the GSL buglist." @default.
- W2561644314 created "2017-01-06" @default.
- W2561644314 creator A5027467673 @default.
- W2561644314 creator A5027961969 @default.
- W2561644314 creator A5065276486 @default.
- W2561644314 creator A5090443322 @default.
- W2561644314 creator A5090810072 @default.
- W2561644314 date "2017-10-01" @default.
- W2561644314 modified "2023-10-17" @default.
- W2561644314 title "Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing" @default.
- W2561644314 cites W1507872748 @default.
- W2561644314 cites W1526045365 @default.
- W2561644314 cites W1548182513 @default.
- W2561644314 cites W1552628726 @default.
- W2561644314 cites W1822341686 @default.
- W2561644314 cites W1824011918 @default.
- W2561644314 cites W1824467726 @default.
- W2561644314 cites W1938260438 @default.
- W2561644314 cites W1966151649 @default.
- W2561644314 cites W1969213662 @default.
- W2561644314 cites W1979031302 @default.
- W2561644314 cites W1995833758 @default.
- W2561644314 cites W1999858616 @default.
- W2561644314 cites W2011100413 @default.
- W2561644314 cites W2012040908 @default.
- W2561644314 cites W2016232724 @default.
- W2561644314 cites W2020804487 @default.
- W2561644314 cites W2021068100 @default.
- W2561644314 cites W2026069154 @default.
- W2561644314 cites W2032195315 @default.
- W2561644314 cites W2039240409 @default.
- W2561644314 cites W2043146374 @default.
- W2561644314 cites W2048854494 @default.
- W2561644314 cites W2052324986 @default.
- W2561644314 cites W2056270190 @default.
- W2561644314 cites W2066536303 @default.
- W2561644314 cites W2067856382 @default.
- W2561644314 cites W2068810256 @default.
- W2561644314 cites W2076053851 @default.
- W2561644314 cites W2079463221 @default.
- W2561644314 cites W2081368694 @default.
- W2561644314 cites W2083224951 @default.
- W2561644314 cites W2083509252 @default.
- W2561644314 cites W2096654515 @default.
- W2561644314 cites W2107996047 @default.
- W2561644314 cites W2109955300 @default.
- W2561644314 cites W2118967924 @default.
- W2561644314 cites W2121050107 @default.
- W2561644314 cites W2121344286 @default.
- W2561644314 cites W2129739092 @default.
- W2561644314 cites W2130084210 @default.
- W2561644314 cites W2130920933 @default.
- W2561644314 cites W2136064646 @default.
- W2561644314 cites W2150118230 @default.
- W2561644314 cites W2162880276 @default.
- W2561644314 cites W2991891561 @default.
- W2561644314 cites W3110699689 @default.
- W2561644314 cites W4234850770 @default.
- W2561644314 cites W4239677523 @default.
- W2561644314 cites W4249849891 @default.
- W2561644314 doi "https://doi.org/10.1109/tse.2016.2642956" @default.
- W2561644314 hasPublicationYear "2017" @default.
- W2561644314 type Work @default.
- W2561644314 sameAs 2561644314 @default.
- W2561644314 citedByCount "8" @default.
- W2561644314 countsByYear W25616443142018 @default.
- W2561644314 countsByYear W25616443142019 @default.
- W2561644314 countsByYear W25616443142020 @default.
- W2561644314 countsByYear W25616443142021 @default.
- W2561644314 countsByYear W25616443142023 @default.
- W2561644314 crossrefType "journal-article" @default.
- W2561644314 hasAuthorship W2561644314A5027467673 @default.
- W2561644314 hasAuthorship W2561644314A5027961969 @default.
- W2561644314 hasAuthorship W2561644314A5065276486 @default.
- W2561644314 hasAuthorship W2561644314A5090443322 @default.
- W2561644314 hasAuthorship W2561644314A5090810072 @default.
- W2561644314 hasConcept C121332964 @default.
- W2561644314 hasConcept C199360897 @default.
- W2561644314 hasConcept C207821765 @default.
- W2561644314 hasConcept C2777062904 @default.
- W2561644314 hasConcept C2777904410 @default.
- W2561644314 hasConcept C41008148 @default.
- W2561644314 hasConcept C57879066 @default.
- W2561644314 hasConceptScore W2561644314C121332964 @default.
- W2561644314 hasConceptScore W2561644314C199360897 @default.
- W2561644314 hasConceptScore W2561644314C207821765 @default.
- W2561644314 hasConceptScore W2561644314C2777062904 @default.
- W2561644314 hasConceptScore W2561644314C2777904410 @default.
- W2561644314 hasConceptScore W2561644314C41008148 @default.
- W2561644314 hasConceptScore W2561644314C57879066 @default.
- W2561644314 hasFunder F4320321001 @default.
- W2561644314 hasFunder F4320335777 @default.
- W2561644314 hasIssue "10" @default.
- W2561644314 hasLocation W25616443141 @default.
- W2561644314 hasOpenAccess W2561644314 @default.
- W2561644314 hasPrimaryLocation W25616443141 @default.
- W2561644314 hasRelatedWork W2086546402 @default.
- W2561644314 hasRelatedWork W2143609451 @default.