Matches in SemOpenAlex for { <https://semopenalex.org/work/W3081700944> ?p ?o ?g. }
- W3081700944 abstract "When a security vulnerability or other critical bug is not detected by the developers’ test suite, and is discovered post-deployment, developers must quickly devise a new test that reproduces the buggy behavior. Then the developers need to test whether their candidate patch indeed fixes the bug, without breaking other functionality, while racing to deploy before attackers pounce on exposed user installations. This can be challenging when factors in a specific user environment triggered the bug. If enabled, however, record-replay technology faithfully replays the execution in the developer environment as if the program were executing in that user environment under the same conditions as the bug manifested. This includes intermediate program states dependent on system calls, memory layout, etc. as well as any externally-visible behavior. Many modern record-replay tools integrate interactive debuggers, to help locate the root cause, but don’t help the developers test whether their patch indeed eliminates the bug under those same conditions. In particular, modern record-replay tools that reproduce intermediate program state cannot replay recordings made with one version of a program using a different version of the program where the differences affect program state. This work builds on record-replay and binary rewriting to automatically generate and run targeted tests for candidate patches significantly faster and more efficiently than traditional test suite generation techniques like symbolic execution. These tests reflect the arbitrary (ad hoc) user and system circumstances that uncovered the bug, enabling developers to check whether a patch indeed fixes that bug. The tests essentially replay recordings made with one version of a program using a different version of the program, even when the the differences impact program state, by manipulating both the binary executable and the recorded log to result in an execution consistent with what would have happened had the the patched version executed in the user environment under the same conditions where the bug manifested with the original version. Our approach also enables users to make new recordings of their own workloads with the original version of the program, and automatically generate and run the corresponding ad hoc tests on the patched version, to validate that the patch does not break functionality they rely on." @default.
- W3081700944 created "2020-09-08" @default.
- W3081700944 creator A5018210315 @default.
- W3081700944 creator A5053819480 @default.
- W3081700944 creator A5090171418 @default.
- W3081700944 date "2020-09-01" @default.
- W3081700944 modified "2023-09-24" @default.
- W3081700944 title "Ad hoc Test Generation Through Binary Rewriting" @default.
- W3081700944 cites W1527076549 @default.
- W3081700944 cites W1710734607 @default.
- W3081700944 cites W1995362840 @default.
- W3081700944 cites W2027518387 @default.
- W3081700944 cites W2091543666 @default.
- W3081700944 cites W2097146584 @default.
- W3081700944 cites W2097816970 @default.
- W3081700944 cites W2105983962 @default.
- W3081700944 cites W2107142491 @default.
- W3081700944 cites W2107147876 @default.
- W3081700944 cites W2119760639 @default.
- W3081700944 cites W2121766388 @default.
- W3081700944 cites W2122475137 @default.
- W3081700944 cites W2123524055 @default.
- W3081700944 cites W2151497944 @default.
- W3081700944 cites W2161857935 @default.
- W3081700944 cites W2306992465 @default.
- W3081700944 cites W2317668908 @default.
- W3081700944 cites W2464211874 @default.
- W3081700944 cites W2590567727 @default.
- W3081700944 cites W2615204122 @default.
- W3081700944 cites W2742100187 @default.
- W3081700944 cites W2794611157 @default.
- W3081700944 cites W2813121583 @default.
- W3081700944 cites W2876843022 @default.
- W3081700944 cites W2888199731 @default.
- W3081700944 cites W2894151403 @default.
- W3081700944 cites W2897044322 @default.
- W3081700944 cites W2899031522 @default.
- W3081700944 cites W2909014315 @default.
- W3081700944 cites W2922320079 @default.
- W3081700944 cites W2926823584 @default.
- W3081700944 cites W2934715626 @default.
- W3081700944 cites W2951450826 @default.
- W3081700944 cites W2952024620 @default.
- W3081700944 cites W2967289945 @default.
- W3081700944 cites W2967820074 @default.
- W3081700944 cites W2968450123 @default.
- W3081700944 cites W2968774823 @default.
- W3081700944 cites W2969087412 @default.
- W3081700944 cites W3040168066 @default.
- W3081700944 cites W3097000539 @default.
- W3081700944 cites W3104423849 @default.
- W3081700944 cites W3105711554 @default.
- W3081700944 cites W3106103749 @default.
- W3081700944 doi "https://doi.org/10.1109/scam51674.2020.00018" @default.
- W3081700944 hasPublicationYear "2020" @default.
- W3081700944 type Work @default.
- W3081700944 sameAs 3081700944 @default.
- W3081700944 citedByCount "1" @default.
- W3081700944 countsByYear W30817009442022 @default.
- W3081700944 crossrefType "proceedings-article" @default.
- W3081700944 hasAuthorship W3081700944A5018210315 @default.
- W3081700944 hasAuthorship W3081700944A5053819480 @default.
- W3081700944 hasAuthorship W3081700944A5090171418 @default.
- W3081700944 hasConcept C1009929 @default.
- W3081700944 hasConcept C105339364 @default.
- W3081700944 hasConcept C111919701 @default.
- W3081700944 hasConcept C115903868 @default.
- W3081700944 hasConcept C119857082 @default.
- W3081700944 hasConcept C128942645 @default.
- W3081700944 hasConcept C151552104 @default.
- W3081700944 hasConcept C152877465 @default.
- W3081700944 hasConcept C154690210 @default.
- W3081700944 hasConcept C166957645 @default.
- W3081700944 hasConcept C168065819 @default.
- W3081700944 hasConcept C199360897 @default.
- W3081700944 hasConcept C2776576444 @default.
- W3081700944 hasConcept C2777904410 @default.
- W3081700944 hasConcept C2779639559 @default.
- W3081700944 hasConcept C38652104 @default.
- W3081700944 hasConcept C41008148 @default.
- W3081700944 hasConcept C48103436 @default.
- W3081700944 hasConcept C79581498 @default.
- W3081700944 hasConcept C95457728 @default.
- W3081700944 hasConcept C95713431 @default.
- W3081700944 hasConceptScore W3081700944C1009929 @default.
- W3081700944 hasConceptScore W3081700944C105339364 @default.
- W3081700944 hasConceptScore W3081700944C111919701 @default.
- W3081700944 hasConceptScore W3081700944C115903868 @default.
- W3081700944 hasConceptScore W3081700944C119857082 @default.
- W3081700944 hasConceptScore W3081700944C128942645 @default.
- W3081700944 hasConceptScore W3081700944C151552104 @default.
- W3081700944 hasConceptScore W3081700944C152877465 @default.
- W3081700944 hasConceptScore W3081700944C154690210 @default.
- W3081700944 hasConceptScore W3081700944C166957645 @default.
- W3081700944 hasConceptScore W3081700944C168065819 @default.
- W3081700944 hasConceptScore W3081700944C199360897 @default.
- W3081700944 hasConceptScore W3081700944C2776576444 @default.
- W3081700944 hasConceptScore W3081700944C2777904410 @default.
- W3081700944 hasConceptScore W3081700944C2779639559 @default.
- W3081700944 hasConceptScore W3081700944C38652104 @default.