Matches in SemOpenAlex for { <https://semopenalex.org/work/W2522140787> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2522140787 endingPage "478" @default.
- W2522140787 startingPage "463" @default.
- W2522140787 abstract "Manually locating and removing bugs in faulty code is often tedious and error-prone. Despite much progress in automated debugging, developing effective debugging techniques remains a challenge. This paper introduces a novel approach that uses a well-known program synthesis technique to automate debugging. As inputs, our approach takes a program and a test suite (with some passing and some failing tests), similar to various other recent techniques. Our key insight is to reduce the problem of finding a fix to the problem of program sketching. We translate the faulty program into a sketch of the correct program, and use off-the-shelf sketching technology to create a program that is correct with respect to the given test cases. The experimental evaluation using a suite of small, yet complex programs shows that our prototype embodiment of our approach is more effective than previous state-of-the-art." @default.
- W2522140787 created "2016-09-30" @default.
- W2522140787 creator A5004951814 @default.
- W2522140787 creator A5054376242 @default.
- W2522140787 date "2016-01-01" @default.
- W2522140787 modified "2023-09-25" @default.
- W2522140787 title "A Sketching-Based Approach for Debugging Using Test Cases" @default.
- W2522140787 cites W1964748769 @default.
- W2522140787 cites W1986544324 @default.
- W2522140787 cites W2012312630 @default.
- W2522140787 cites W2060333670 @default.
- W2522140787 cites W2061575154 @default.
- W2522140787 cites W2093535699 @default.
- W2522140787 cites W2101819268 @default.
- W2522140787 cites W2105899810 @default.
- W2522140787 cites W2145373440 @default.
- W2522140787 cites W2153881107 @default.
- W2522140787 cites W2163164396 @default.
- W2522140787 cites W2296178404 @default.
- W2522140787 cites W2373227884 @default.
- W2522140787 cites W3192343331 @default.
- W2522140787 cites W4253606798 @default.
- W2522140787 cites W989845945 @default.
- W2522140787 doi "https://doi.org/10.1007/978-3-319-46520-3_29" @default.
- W2522140787 hasPublicationYear "2016" @default.
- W2522140787 type Work @default.
- W2522140787 sameAs 2522140787 @default.
- W2522140787 citedByCount "6" @default.
- W2522140787 countsByYear W25221407872017 @default.
- W2522140787 countsByYear W25221407872018 @default.
- W2522140787 countsByYear W25221407872019 @default.
- W2522140787 crossrefType "book-chapter" @default.
- W2522140787 hasAuthorship W2522140787A5004951814 @default.
- W2522140787 hasAuthorship W2522140787A5054376242 @default.
- W2522140787 hasConcept C111919701 @default.
- W2522140787 hasConcept C11413529 @default.
- W2522140787 hasConcept C115903868 @default.
- W2522140787 hasConcept C119857082 @default.
- W2522140787 hasConcept C128942645 @default.
- W2522140787 hasConcept C136388014 @default.
- W2522140787 hasConcept C151552104 @default.
- W2522140787 hasConcept C152877465 @default.
- W2522140787 hasConcept C166957645 @default.
- W2522140787 hasConcept C168065819 @default.
- W2522140787 hasConcept C177264268 @default.
- W2522140787 hasConcept C199360897 @default.
- W2522140787 hasConcept C26517878 @default.
- W2522140787 hasConcept C2776760102 @default.
- W2522140787 hasConcept C2779231336 @default.
- W2522140787 hasConcept C41008148 @default.
- W2522140787 hasConcept C79581498 @default.
- W2522140787 hasConcept C95457728 @default.
- W2522140787 hasConceptScore W2522140787C111919701 @default.
- W2522140787 hasConceptScore W2522140787C11413529 @default.
- W2522140787 hasConceptScore W2522140787C115903868 @default.
- W2522140787 hasConceptScore W2522140787C119857082 @default.
- W2522140787 hasConceptScore W2522140787C128942645 @default.
- W2522140787 hasConceptScore W2522140787C136388014 @default.
- W2522140787 hasConceptScore W2522140787C151552104 @default.
- W2522140787 hasConceptScore W2522140787C152877465 @default.
- W2522140787 hasConceptScore W2522140787C166957645 @default.
- W2522140787 hasConceptScore W2522140787C168065819 @default.
- W2522140787 hasConceptScore W2522140787C177264268 @default.
- W2522140787 hasConceptScore W2522140787C199360897 @default.
- W2522140787 hasConceptScore W2522140787C26517878 @default.
- W2522140787 hasConceptScore W2522140787C2776760102 @default.
- W2522140787 hasConceptScore W2522140787C2779231336 @default.
- W2522140787 hasConceptScore W2522140787C41008148 @default.
- W2522140787 hasConceptScore W2522140787C79581498 @default.
- W2522140787 hasConceptScore W2522140787C95457728 @default.
- W2522140787 hasLocation W25221407871 @default.
- W2522140787 hasOpenAccess W2522140787 @default.
- W2522140787 hasPrimaryLocation W25221407871 @default.
- W2522140787 hasRelatedWork W1536968357 @default.
- W2522140787 hasRelatedWork W1587224678 @default.
- W2522140787 hasRelatedWork W1601811574 @default.
- W2522140787 hasRelatedWork W2024254950 @default.
- W2522140787 hasRelatedWork W2547155723 @default.
- W2522140787 hasRelatedWork W2564883337 @default.
- W2522140787 hasRelatedWork W4243411472 @default.
- W2522140787 hasRelatedWork W4286292959 @default.
- W2522140787 hasRelatedWork W4385301754 @default.
- W2522140787 hasRelatedWork W68341597 @default.
- W2522140787 isParatext "false" @default.
- W2522140787 isRetracted "false" @default.
- W2522140787 magId "2522140787" @default.
- W2522140787 workType "book-chapter" @default.