Matches in SemOpenAlex for { <https://semopenalex.org/work/W3207949863> ?p ?o ?g. }
- W3207949863 abstract "Debugging imperative network programs is a challenging task for developers because understanding various network modules and complicated data structures is typically time-consuming. To address the challenge, this paper presents an automated technique for repairing network programs from unit tests. Specifically, given as input a faulty network program and a set of unit tests, our approach localizes the fault through symbolic reasoning, and synthesizes a patch such that the repaired program can pass all unit tests. It applies domain-specific abstraction to simplify network data structures and utilizes modular analysis to facilitate function summary reuse for symbolic analysis. We implement the proposed techniques in a tool called Orion and evaluate it on 10 benchmarks adapted from real-world software-defined networking controllers. The evaluation results demonstrate the effectiveness and efficiency of Orion for repairing network programs." @default.
- W3207949863 created "2021-10-25" @default.
- W3207949863 creator A5029205297 @default.
- W3207949863 creator A5065059795 @default.
- W3207949863 creator A5084945548 @default.
- W3207949863 creator A5090052860 @default.
- W3207949863 date "2021-10-12" @default.
- W3207949863 modified "2023-09-27" @default.
- W3207949863 title "Orion: Automatic Repair for Network Programs." @default.
- W3207949863 cites W1675033504 @default.
- W3207949863 cites W1767990287 @default.
- W3207949863 cites W1915915253 @default.
- W3207949863 cites W1969325954 @default.
- W3207949863 cites W1975455521 @default.
- W3207949863 cites W1999298208 @default.
- W3207949863 cites W2030814077 @default.
- W3207949863 cites W2033644368 @default.
- W3207949863 cites W2040900440 @default.
- W3207949863 cites W2057156093 @default.
- W3207949863 cites W2060333670 @default.
- W3207949863 cites W2060610732 @default.
- W3207949863 cites W2115733813 @default.
- W3207949863 cites W2132525863 @default.
- W3207949863 cites W2143522309 @default.
- W3207949863 cites W2143861926 @default.
- W3207949863 cites W2146077028 @default.
- W3207949863 cites W2153418968 @default.
- W3207949863 cites W2162045655 @default.
- W3207949863 cites W2163593754 @default.
- W3207949863 cites W2166007208 @default.
- W3207949863 cites W2172154252 @default.
- W3207949863 cites W2188073520 @default.
- W3207949863 cites W2274071363 @default.
- W3207949863 cites W2275523190 @default.
- W3207949863 cites W2295100577 @default.
- W3207949863 cites W2373227884 @default.
- W3207949863 cites W2518136680 @default.
- W3207949863 cites W254881558 @default.
- W3207949863 cites W2602605036 @default.
- W3207949863 cites W2605202003 @default.
- W3207949863 cites W2626931523 @default.
- W3207949863 cites W2735148652 @default.
- W3207949863 cites W2740646481 @default.
- W3207949863 cites W2767431443 @default.
- W3207949863 cites W2771289545 @default.
- W3207949863 cites W2798812031 @default.
- W3207949863 cites W2952829418 @default.
- W3207949863 cites W2953998535 @default.
- W3207949863 cites W2954131085 @default.
- W3207949863 cites W2955814330 @default.
- W3207949863 cites W2958754741 @default.
- W3207949863 cites W2998011150 @default.
- W3207949863 cites W3033533057 @default.
- W3207949863 cites W3089621332 @default.
- W3207949863 cites W3091097332 @default.
- W3207949863 hasPublicationYear "2021" @default.
- W3207949863 type Work @default.
- W3207949863 sameAs 3207949863 @default.
- W3207949863 citedByCount "0" @default.
- W3207949863 crossrefType "posted-content" @default.
- W3207949863 hasAuthorship W3207949863A5029205297 @default.
- W3207949863 hasAuthorship W3207949863A5065059795 @default.
- W3207949863 hasAuthorship W3207949863A5084945548 @default.
- W3207949863 hasAuthorship W3207949863A5090052860 @default.
- W3207949863 hasConcept C101468663 @default.
- W3207949863 hasConcept C111472728 @default.
- W3207949863 hasConcept C115903868 @default.
- W3207949863 hasConcept C120314980 @default.
- W3207949863 hasConcept C124304363 @default.
- W3207949863 hasConcept C127413603 @default.
- W3207949863 hasConcept C134306372 @default.
- W3207949863 hasConcept C138885662 @default.
- W3207949863 hasConcept C149635348 @default.
- W3207949863 hasConcept C168065819 @default.
- W3207949863 hasConcept C177264268 @default.
- W3207949863 hasConcept C199360897 @default.
- W3207949863 hasConcept C201995342 @default.
- W3207949863 hasConcept C206588197 @default.
- W3207949863 hasConcept C2777904410 @default.
- W3207949863 hasConcept C2779639559 @default.
- W3207949863 hasConcept C2780451532 @default.
- W3207949863 hasConcept C33923547 @default.
- W3207949863 hasConcept C36503486 @default.
- W3207949863 hasConcept C41008148 @default.
- W3207949863 hasConcept C548081761 @default.
- W3207949863 hasConcept C98183937 @default.
- W3207949863 hasConceptScore W3207949863C101468663 @default.
- W3207949863 hasConceptScore W3207949863C111472728 @default.
- W3207949863 hasConceptScore W3207949863C115903868 @default.
- W3207949863 hasConceptScore W3207949863C120314980 @default.
- W3207949863 hasConceptScore W3207949863C124304363 @default.
- W3207949863 hasConceptScore W3207949863C127413603 @default.
- W3207949863 hasConceptScore W3207949863C134306372 @default.
- W3207949863 hasConceptScore W3207949863C138885662 @default.
- W3207949863 hasConceptScore W3207949863C149635348 @default.
- W3207949863 hasConceptScore W3207949863C168065819 @default.
- W3207949863 hasConceptScore W3207949863C177264268 @default.
- W3207949863 hasConceptScore W3207949863C199360897 @default.
- W3207949863 hasConceptScore W3207949863C201995342 @default.
- W3207949863 hasConceptScore W3207949863C206588197 @default.