Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113404202> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2113404202 abstract "Software often crashes despite tremendous effort on software quality assurance. Once developers receive a crash report, they need to reproduce the crash in order to understand the problem and locate the fault. However, limited information from crash reports often makes crash reproduction difficult. Many capture-and-replay techniques have been proposed to automatically capture program execution data from the failing code, and help developers replay the crash scenarios based on the captured data. However, such techniques often suffer from heavy overhead and introduce privacy concerns. Recently, methods such as BugRedux were proposed to generate test input that leads to crash through symbolic execution. However, such methods have inherent limitations because they rely on conventional symbolic execution techniques. In this paper, we propose a dynamic symbolic execution method called SymCon, which addresses the limitation of conventional symbolic execution by selecting functions that are hard to be resolved by a constraint solver and using their concrete runtime values to replace the symbols. We then propose SymCrash, a selective recording approach that only instruments and monitors the hard-to-solve functions. SymCrash can generate test input for crashes through SymCon. We have applied our approach to successfully reproduce 13 failures of 6 real-world programs. Our results confirm that the proposed approach is suitable for reproducing crashes, in terms of effectiveness, overhead, and privacy. It also outperforms the related methods." @default.
- W2113404202 created "2016-06-24" @default.
- W2113404202 creator A5013323006 @default.
- W2113404202 creator A5068470874 @default.
- W2113404202 creator A5068743330 @default.
- W2113404202 date "2014-09-15" @default.
- W2113404202 modified "2023-09-27" @default.
- W2113404202 title "SymCrash" @default.
- W2113404202 cites W1579638562 @default.
- W2113404202 cites W1586497944 @default.
- W2113404202 cites W1597799702 @default.
- W2113404202 cites W1967936510 @default.
- W2113404202 cites W1976737827 @default.
- W2113404202 cites W2009394287 @default.
- W2113404202 cites W2009489720 @default.
- W2113404202 cites W2024442685 @default.
- W2113404202 cites W2027422213 @default.
- W2113404202 cites W2032153666 @default.
- W2113404202 cites W2033472898 @default.
- W2113404202 cites W2040489479 @default.
- W2113404202 cites W2056749200 @default.
- W2113404202 cites W2062154010 @default.
- W2113404202 cites W2078988604 @default.
- W2113404202 cites W2097576663 @default.
- W2113404202 cites W2101512909 @default.
- W2113404202 cites W2101645128 @default.
- W2113404202 cites W2107316307 @default.
- W2113404202 cites W2107709519 @default.
- W2113404202 cites W2123511529 @default.
- W2113404202 cites W2130343490 @default.
- W2113404202 cites W2131933959 @default.
- W2113404202 cites W2132897303 @default.
- W2113404202 cites W2144517099 @default.
- W2113404202 cites W2146641295 @default.
- W2113404202 cites W2149234515 @default.
- W2113404202 cites W2159076953 @default.
- W2113404202 cites W2164577291 @default.
- W2113404202 cites W2164649341 @default.
- W2113404202 cites W2165015106 @default.
- W2113404202 cites W2168909041 @default.
- W2113404202 cites W2171480813 @default.
- W2113404202 cites W2172260321 @default.
- W2113404202 cites W4237492309 @default.
- W2113404202 cites W4238213105 @default.
- W2113404202 cites W4300810260 @default.
- W2113404202 doi "https://doi.org/10.1145/2642937.2642993" @default.
- W2113404202 hasPublicationYear "2014" @default.
- W2113404202 type Work @default.
- W2113404202 sameAs 2113404202 @default.
- W2113404202 citedByCount "25" @default.
- W2113404202 countsByYear W21134042022015 @default.
- W2113404202 countsByYear W21134042022016 @default.
- W2113404202 countsByYear W21134042022017 @default.
- W2113404202 countsByYear W21134042022018 @default.
- W2113404202 countsByYear W21134042022019 @default.
- W2113404202 countsByYear W21134042022020 @default.
- W2113404202 countsByYear W21134042022021 @default.
- W2113404202 countsByYear W21134042022023 @default.
- W2113404202 crossrefType "proceedings-article" @default.
- W2113404202 hasAuthorship W2113404202A5013323006 @default.
- W2113404202 hasAuthorship W2113404202A5068470874 @default.
- W2113404202 hasAuthorship W2113404202A5068743330 @default.
- W2113404202 hasConcept C11219265 @default.
- W2113404202 hasConcept C183469790 @default.
- W2113404202 hasConcept C199360897 @default.
- W2113404202 hasConcept C2777904410 @default.
- W2113404202 hasConcept C2778770139 @default.
- W2113404202 hasConcept C2779639559 @default.
- W2113404202 hasConcept C2779960059 @default.
- W2113404202 hasConcept C41008148 @default.
- W2113404202 hasConcept C63116202 @default.
- W2113404202 hasConceptScore W2113404202C11219265 @default.
- W2113404202 hasConceptScore W2113404202C183469790 @default.
- W2113404202 hasConceptScore W2113404202C199360897 @default.
- W2113404202 hasConceptScore W2113404202C2777904410 @default.
- W2113404202 hasConceptScore W2113404202C2778770139 @default.
- W2113404202 hasConceptScore W2113404202C2779639559 @default.
- W2113404202 hasConceptScore W2113404202C2779960059 @default.
- W2113404202 hasConceptScore W2113404202C41008148 @default.
- W2113404202 hasConceptScore W2113404202C63116202 @default.
- W2113404202 hasFunder F4320321001 @default.
- W2113404202 hasLocation W21134042021 @default.
- W2113404202 hasOpenAccess W2113404202 @default.
- W2113404202 hasPrimaryLocation W21134042021 @default.
- W2113404202 hasRelatedWork W1485738864 @default.
- W2113404202 hasRelatedWork W157156687 @default.
- W2113404202 hasRelatedWork W1572317885 @default.
- W2113404202 hasRelatedWork W2021230879 @default.
- W2113404202 hasRelatedWork W2047694629 @default.
- W2113404202 hasRelatedWork W2130794516 @default.
- W2113404202 hasRelatedWork W2168645221 @default.
- W2113404202 hasRelatedWork W2406227170 @default.
- W2113404202 hasRelatedWork W2885626945 @default.
- W2113404202 hasRelatedWork W2899100898 @default.
- W2113404202 isParatext "false" @default.
- W2113404202 isRetracted "false" @default.
- W2113404202 magId "2113404202" @default.
- W2113404202 workType "article" @default.