Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072069604> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2072069604 abstract "Due to their inherent complexity, software systems are pledged to be released with bugs. These bugs manifest themselves on client's computers, causing crashes and undesired behaviors. Field crashes, in particular, are challenging to understand and fix as the information provided by the impacted customers are often scarce and inaccurate. To address this issue, there is a need to find ways for automatically reproducing the crash in a lab environment in order to fully understand its root causes. Crash reproduction is also an important step towards developing adequate patches. In this paper, we propose a novel crash reproduction approach, called JCHARMING (Java CrasH Automatic Reproduction by directed Model checkING). JCHARMING uses crash traces and model checking to identify program statements needed to reproduce a crash. Our approach takes advantage of the completeness provided by model checking while ignoring unneeded system states by means of information found in crash traces combined with static slices. We show the effectiveness of JCHARMING by applying it to seven different open source programs cumulating more than one million lines of code scattered in around 7000 classes. Overall, JCHARMING was able to reproduce 85% of the submitted bugs." @default.
- W2072069604 created "2016-06-24" @default.
- W2072069604 creator A5007159598 @default.
- W2072069604 creator A5010592431 @default.
- W2072069604 creator A5054158766 @default.
- W2072069604 creator A5058884064 @default.
- W2072069604 date "2015-03-01" @default.
- W2072069604 modified "2023-10-01" @default.
- W2072069604 title "JCHARMING: A bug reproduction approach using crash traces and directed model checking" @default.
- W2072069604 cites W1582385421 @default.
- W2072069604 cites W2062154010 @default.
- W2072069604 cites W2086540708 @default.
- W2072069604 cites W2097576663 @default.
- W2072069604 cites W2115309705 @default.
- W2072069604 cites W2124228276 @default.
- W2072069604 cites W2129663982 @default.
- W2072069604 cites W2139410856 @default.
- W2072069604 cites W2160329567 @default.
- W2072069604 cites W2160517961 @default.
- W2072069604 cites W2165811181 @default.
- W2072069604 cites W2167723122 @default.
- W2072069604 cites W2171480813 @default.
- W2072069604 cites W2272922570 @default.
- W2072069604 cites W3140804348 @default.
- W2072069604 cites W4247155915 @default.
- W2072069604 cites W4250336630 @default.
- W2072069604 doi "https://doi.org/10.1109/saner.2015.7081820" @default.
- W2072069604 hasPublicationYear "2015" @default.
- W2072069604 type Work @default.
- W2072069604 sameAs 2072069604 @default.
- W2072069604 citedByCount "26" @default.
- W2072069604 countsByYear W20720696042016 @default.
- W2072069604 countsByYear W20720696042017 @default.
- W2072069604 countsByYear W20720696042018 @default.
- W2072069604 countsByYear W20720696042019 @default.
- W2072069604 countsByYear W20720696042020 @default.
- W2072069604 countsByYear W20720696042021 @default.
- W2072069604 countsByYear W20720696042022 @default.
- W2072069604 countsByYear W20720696042023 @default.
- W2072069604 crossrefType "proceedings-article" @default.
- W2072069604 hasAuthorship W2072069604A5007159598 @default.
- W2072069604 hasAuthorship W2072069604A5010592431 @default.
- W2072069604 hasAuthorship W2072069604A5054158766 @default.
- W2072069604 hasAuthorship W2072069604A5058884064 @default.
- W2072069604 hasConcept C1009929 @default.
- W2072069604 hasConcept C110251889 @default.
- W2072069604 hasConcept C115903868 @default.
- W2072069604 hasConcept C177264268 @default.
- W2072069604 hasConcept C183469790 @default.
- W2072069604 hasConcept C199360897 @default.
- W2072069604 hasConcept C202444582 @default.
- W2072069604 hasConcept C2522767166 @default.
- W2072069604 hasConcept C2776760102 @default.
- W2072069604 hasConcept C2777904410 @default.
- W2072069604 hasConcept C33923547 @default.
- W2072069604 hasConcept C41008148 @default.
- W2072069604 hasConcept C43126263 @default.
- W2072069604 hasConcept C548217200 @default.
- W2072069604 hasConcept C9652623 @default.
- W2072069604 hasConceptScore W2072069604C1009929 @default.
- W2072069604 hasConceptScore W2072069604C110251889 @default.
- W2072069604 hasConceptScore W2072069604C115903868 @default.
- W2072069604 hasConceptScore W2072069604C177264268 @default.
- W2072069604 hasConceptScore W2072069604C183469790 @default.
- W2072069604 hasConceptScore W2072069604C199360897 @default.
- W2072069604 hasConceptScore W2072069604C202444582 @default.
- W2072069604 hasConceptScore W2072069604C2522767166 @default.
- W2072069604 hasConceptScore W2072069604C2776760102 @default.
- W2072069604 hasConceptScore W2072069604C2777904410 @default.
- W2072069604 hasConceptScore W2072069604C33923547 @default.
- W2072069604 hasConceptScore W2072069604C41008148 @default.
- W2072069604 hasConceptScore W2072069604C43126263 @default.
- W2072069604 hasConceptScore W2072069604C548217200 @default.
- W2072069604 hasConceptScore W2072069604C9652623 @default.
- W2072069604 hasLocation W20720696041 @default.
- W2072069604 hasOpenAccess W2072069604 @default.
- W2072069604 hasPrimaryLocation W20720696041 @default.
- W2072069604 hasRelatedWork W1575927706 @default.
- W2072069604 hasRelatedWork W1962482270 @default.
- W2072069604 hasRelatedWork W2072069604 @default.
- W2072069604 hasRelatedWork W2132150351 @default.
- W2072069604 hasRelatedWork W2161485845 @default.
- W2072069604 hasRelatedWork W2348100758 @default.
- W2072069604 hasRelatedWork W270927586 @default.
- W2072069604 hasRelatedWork W283806354 @default.
- W2072069604 hasRelatedWork W3162503992 @default.
- W2072069604 hasRelatedWork W2528467228 @default.
- W2072069604 isParatext "false" @default.
- W2072069604 isRetracted "false" @default.
- W2072069604 magId "2072069604" @default.
- W2072069604 workType "article" @default.