Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056872793> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2056872793 abstract "Fault localization i.e., locating faulty lines of code, is a key step in removing bugs and often requires substantial manual effort. Recent years have seen many automated localization techniques, specifically using the program’s passing and failing test runs, i.e., test spectra. However, the effectiveness of these approaches is sensitive to factors such as the type and number of faults, and the quality of the test-suite. This paper presents a novel technique that applies spectra-based localization in synergy with specification-based analysis to more accurately locate faults. Our insight is that unsatisfiability analysis of violated specifications, enabled by SAT technology, could be used to (1) compute unsatisfiable cores that contain likely faulty statements and (2) generate tests that help spectra-based localization. Our technique is iterative and driven by a feedback loop that enables more precise fault localization. SAT-TAR is a framework that embodies our technique for Java programs, including those with multiple faults. An experimental evaluation using a suite of widely-studied data structure programs, including the ANTLR and JTopas parser applications, shows that our technique localizes faults more accurately than state-of-the-art approaches." @default.
- W2056872793 created "2016-06-24" @default.
- W2056872793 creator A5004951814 @default.
- W2056872793 creator A5046599936 @default.
- W2056872793 creator A5055334891 @default.
- W2056872793 date "2012-09-03" @default.
- W2056872793 modified "2023-10-14" @default.
- W2056872793 title "Improving the effectiveness of spectra-based fault localization using specifications" @default.
- W2056872793 cites W1527892282 @default.
- W2056872793 cites W1556687538 @default.
- W2056872793 cites W1630321466 @default.
- W2056872793 cites W1984248430 @default.
- W2056872793 cites W1985900990 @default.
- W2056872793 cites W1996874284 @default.
- W2056872793 cites W2009489720 @default.
- W2056872793 cites W2036196659 @default.
- W2056872793 cites W2065236359 @default.
- W2056872793 cites W2113625327 @default.
- W2056872793 cites W2118529754 @default.
- W2056872793 cites W2128049346 @default.
- W2056872793 cites W2158870716 @default.
- W2056872793 cites W2162046779 @default.
- W2056872793 cites W2166091242 @default.
- W2056872793 cites W2962708851 @default.
- W2056872793 cites W4233319527 @default.
- W2056872793 cites W4234735799 @default.
- W2056872793 cites W4238847937 @default.
- W2056872793 cites W4241947695 @default.
- W2056872793 cites W4253606798 @default.
- W2056872793 doi "https://doi.org/10.1145/2351676.2351683" @default.
- W2056872793 hasPublicationYear "2012" @default.
- W2056872793 type Work @default.
- W2056872793 sameAs 2056872793 @default.
- W2056872793 citedByCount "26" @default.
- W2056872793 countsByYear W20568727932014 @default.
- W2056872793 countsByYear W20568727932015 @default.
- W2056872793 countsByYear W20568727932016 @default.
- W2056872793 countsByYear W20568727932017 @default.
- W2056872793 countsByYear W20568727932018 @default.
- W2056872793 countsByYear W20568727932019 @default.
- W2056872793 countsByYear W20568727932020 @default.
- W2056872793 countsByYear W20568727932021 @default.
- W2056872793 countsByYear W20568727932022 @default.
- W2056872793 countsByYear W20568727932023 @default.
- W2056872793 crossrefType "proceedings-article" @default.
- W2056872793 hasAuthorship W2056872793A5004951814 @default.
- W2056872793 hasAuthorship W2056872793A5046599936 @default.
- W2056872793 hasAuthorship W2056872793A5055334891 @default.
- W2056872793 hasConcept C113775141 @default.
- W2056872793 hasConcept C11413529 @default.
- W2056872793 hasConcept C119857082 @default.
- W2056872793 hasConcept C124101348 @default.
- W2056872793 hasConcept C127313418 @default.
- W2056872793 hasConcept C128942645 @default.
- W2056872793 hasConcept C151552104 @default.
- W2056872793 hasConcept C152877465 @default.
- W2056872793 hasConcept C165205528 @default.
- W2056872793 hasConcept C166957645 @default.
- W2056872793 hasConcept C175551986 @default.
- W2056872793 hasConcept C186644900 @default.
- W2056872793 hasConcept C199360897 @default.
- W2056872793 hasConcept C41008148 @default.
- W2056872793 hasConcept C548217200 @default.
- W2056872793 hasConcept C79581498 @default.
- W2056872793 hasConcept C95457728 @default.
- W2056872793 hasConceptScore W2056872793C113775141 @default.
- W2056872793 hasConceptScore W2056872793C11413529 @default.
- W2056872793 hasConceptScore W2056872793C119857082 @default.
- W2056872793 hasConceptScore W2056872793C124101348 @default.
- W2056872793 hasConceptScore W2056872793C127313418 @default.
- W2056872793 hasConceptScore W2056872793C128942645 @default.
- W2056872793 hasConceptScore W2056872793C151552104 @default.
- W2056872793 hasConceptScore W2056872793C152877465 @default.
- W2056872793 hasConceptScore W2056872793C165205528 @default.
- W2056872793 hasConceptScore W2056872793C166957645 @default.
- W2056872793 hasConceptScore W2056872793C175551986 @default.
- W2056872793 hasConceptScore W2056872793C186644900 @default.
- W2056872793 hasConceptScore W2056872793C199360897 @default.
- W2056872793 hasConceptScore W2056872793C41008148 @default.
- W2056872793 hasConceptScore W2056872793C548217200 @default.
- W2056872793 hasConceptScore W2056872793C79581498 @default.
- W2056872793 hasConceptScore W2056872793C95457728 @default.
- W2056872793 hasLocation W20568727931 @default.
- W2056872793 hasOpenAccess W2056872793 @default.
- W2056872793 hasPrimaryLocation W20568727931 @default.
- W2056872793 hasRelatedWork W1546517032 @default.
- W2056872793 hasRelatedWork W1577122732 @default.
- W2056872793 hasRelatedWork W1693912443 @default.
- W2056872793 hasRelatedWork W1998962249 @default.
- W2056872793 hasRelatedWork W2026046761 @default.
- W2056872793 hasRelatedWork W2057087473 @default.
- W2056872793 hasRelatedWork W2070147537 @default.
- W2056872793 hasRelatedWork W2537787699 @default.
- W2056872793 hasRelatedWork W4235735989 @default.
- W2056872793 hasRelatedWork W2467097043 @default.
- W2056872793 isParatext "false" @default.
- W2056872793 isRetracted "false" @default.
- W2056872793 magId "2056872793" @default.
- W2056872793 workType "article" @default.