Matches in SemOpenAlex for { <https://semopenalex.org/work/W2960756002> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2960756002 abstract "Existing program repair systems modify a buggy program so that the modified program passes given tests. The repaired program may not satisfy even the most basic notion of correctness, namely crash-freedom. In other words, repair tools might generate patches which over-fit the test data driving the repair, and the automatically repaired programs may even introduce crashes or vulnerabilities. We propose an integrated approach for detecting and discarding crashing patches. Our approach fuses test and patch generation into a single process, in which patches are generated with the objective of passing existing tests, and new tests are generated with the objective of filtering out over-fitted patches by distinguishing candidate patches in terms of behavior. We use crash-freedom as the oracle to discard patch candidates which crash on the new tests. In its core, our approach defines a grey-box fuzzing strategy that gives higher priority to new tests that separate patches behaving equivalently on existing tests. This test generation strategy identifies semantic differences between patch candidates, and reduces over-fitting in program repair. We evaluated our approach on real-world vulnerabilities and open-source subjects from the Google OSS-Fuzz infrastructure. We found that our tool Fix2Fit (implementing patch space directed test generation), produces crash-avoiding patches. While we do not give formal guarantees about crash-freedom, cross-validation with fuzzing tools and their sanitizers provides greater confidence about the crash-freedom of our suggested patches." @default.
- W2960756002 created "2019-07-23" @default.
- W2960756002 creator A5011184280 @default.
- W2960756002 creator A5017334961 @default.
- W2960756002 creator A5060115298 @default.
- W2960756002 date "2019-07-10" @default.
- W2960756002 modified "2023-10-14" @default.
- W2960756002 title "Crash-avoiding program repair" @default.
- W2960756002 cites W1526710119 @default.
- W2960756002 cites W1971650562 @default.
- W2960756002 cites W2017828132 @default.
- W2960756002 cites W2060333670 @default.
- W2960756002 cites W2061575154 @default.
- W2960756002 cites W2063387237 @default.
- W2960756002 cites W2105983962 @default.
- W2960756002 cites W2120280318 @default.
- W2960756002 cites W2145373440 @default.
- W2960756002 cites W2153881107 @default.
- W2960756002 cites W2156723666 @default.
- W2960756002 cites W2168625647 @default.
- W2960756002 cites W2170737051 @default.
- W2960756002 cites W2274071363 @default.
- W2960756002 cites W2344973853 @default.
- W2960756002 cites W2373227884 @default.
- W2960756002 cites W2548997977 @default.
- W2960756002 cites W2689519974 @default.
- W2960756002 cites W2735571786 @default.
- W2960756002 cites W2741328617 @default.
- W2960756002 cites W2766540688 @default.
- W2960756002 cites W2795030435 @default.
- W2960756002 cites W2898024328 @default.
- W2960756002 cites W2952920225 @default.
- W2960756002 cites W2953998535 @default.
- W2960756002 cites W3105092369 @default.
- W2960756002 cites W4236799059 @default.
- W2960756002 cites W841012168 @default.
- W2960756002 doi "https://doi.org/10.1145/3293882.3330558" @default.
- W2960756002 hasPublicationYear "2019" @default.
- W2960756002 type Work @default.
- W2960756002 sameAs 2960756002 @default.
- W2960756002 citedByCount "39" @default.
- W2960756002 countsByYear W29607560022019 @default.
- W2960756002 countsByYear W29607560022020 @default.
- W2960756002 countsByYear W29607560022021 @default.
- W2960756002 countsByYear W29607560022022 @default.
- W2960756002 countsByYear W29607560022023 @default.
- W2960756002 crossrefType "proceedings-article" @default.
- W2960756002 hasAuthorship W2960756002A5011184280 @default.
- W2960756002 hasAuthorship W2960756002A5017334961 @default.
- W2960756002 hasAuthorship W2960756002A5060115298 @default.
- W2960756002 hasBestOaLocation W29607560022 @default.
- W2960756002 hasConcept C111065885 @default.
- W2960756002 hasConcept C121332964 @default.
- W2960756002 hasConcept C183469790 @default.
- W2960756002 hasConcept C199360897 @default.
- W2960756002 hasConcept C208081375 @default.
- W2960756002 hasConcept C2777904410 @default.
- W2960756002 hasConcept C41008148 @default.
- W2960756002 hasConcept C51175575 @default.
- W2960756002 hasConcept C55166926 @default.
- W2960756002 hasConcept C55439883 @default.
- W2960756002 hasConcept C62520636 @default.
- W2960756002 hasConcept C98045186 @default.
- W2960756002 hasConceptScore W2960756002C111065885 @default.
- W2960756002 hasConceptScore W2960756002C121332964 @default.
- W2960756002 hasConceptScore W2960756002C183469790 @default.
- W2960756002 hasConceptScore W2960756002C199360897 @default.
- W2960756002 hasConceptScore W2960756002C208081375 @default.
- W2960756002 hasConceptScore W2960756002C2777904410 @default.
- W2960756002 hasConceptScore W2960756002C41008148 @default.
- W2960756002 hasConceptScore W2960756002C51175575 @default.
- W2960756002 hasConceptScore W2960756002C55166926 @default.
- W2960756002 hasConceptScore W2960756002C55439883 @default.
- W2960756002 hasConceptScore W2960756002C62520636 @default.
- W2960756002 hasConceptScore W2960756002C98045186 @default.
- W2960756002 hasLocation W29607560021 @default.
- W2960756002 hasLocation W29607560022 @default.
- W2960756002 hasLocation W29607560023 @default.
- W2960756002 hasOpenAccess W2960756002 @default.
- W2960756002 hasPrimaryLocation W29607560021 @default.
- W2960756002 hasRelatedWork W1574756067 @default.
- W2960756002 hasRelatedWork W1577529853 @default.
- W2960756002 hasRelatedWork W1590719493 @default.
- W2960756002 hasRelatedWork W190213723 @default.
- W2960756002 hasRelatedWork W2127719769 @default.
- W2960756002 hasRelatedWork W2795256611 @default.
- W2960756002 hasRelatedWork W3011370215 @default.
- W2960756002 hasRelatedWork W3037992666 @default.
- W2960756002 hasRelatedWork W3147009868 @default.
- W2960756002 hasRelatedWork W4245712113 @default.
- W2960756002 isParatext "false" @default.
- W2960756002 isRetracted "false" @default.
- W2960756002 magId "2960756002" @default.
- W2960756002 workType "article" @default.