Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102239564> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3102239564 abstract "The main reason for the standardization of network protocols, like QUIC, is to ensure interoperability between implementations, which poses a challenging task. Manual tests are currently used to test the different existing implementations for interoperability, but given the complex nature of network protocols, it is hard to cover all possible edge cases. State-of-the-art automated software testing techniques, such as Symbolic Execution (SymEx), have proven themselves capable of analyzing complex real-world software and finding hard to detect bugs. We present a SymEx-based method for finding interoperability issues in QUIC implementations, and explore its merit in a case study that analyzes the interoperability of picoquic and QUANT. We find that, while SymEx is able to analyze deep interactions between different implementations and uncovers several bugs, in order to enable efficient interoperability testing, implementations need to provide additional information about their current protocol state." @default.
- W3102239564 created "2020-11-23" @default.
- W3102239564 creator A5000639258 @default.
- W3102239564 creator A5041253442 @default.
- W3102239564 creator A5078646305 @default.
- W3102239564 date "2018-12-04" @default.
- W3102239564 modified "2023-09-25" @default.
- W3102239564 title "Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution" @default.
- W3102239564 cites W1979693894 @default.
- W3102239564 cites W2062200967 @default.
- W3102239564 cites W2064828481 @default.
- W3102239564 cites W2091939272 @default.
- W3102239564 cites W2107147876 @default.
- W3102239564 cites W2117448240 @default.
- W3102239564 cites W2121954581 @default.
- W3102239564 cites W2129975948 @default.
- W3102239564 cites W2158715516 @default.
- W3102239564 cites W2162360270 @default.
- W3102239564 cites W2339906640 @default.
- W3102239564 cites W2744406816 @default.
- W3102239564 cites W2748544249 @default.
- W3102239564 doi "https://doi.org/10.1145/3284850.3284853" @default.
- W3102239564 hasPublicationYear "2018" @default.
- W3102239564 type Work @default.
- W3102239564 sameAs 3102239564 @default.
- W3102239564 citedByCount "5" @default.
- W3102239564 countsByYear W31022395642019 @default.
- W3102239564 countsByYear W31022395642020 @default.
- W3102239564 countsByYear W31022395642021 @default.
- W3102239564 crossrefType "proceedings-article" @default.
- W3102239564 hasAuthorship W3102239564A5000639258 @default.
- W3102239564 hasAuthorship W3102239564A5041253442 @default.
- W3102239564 hasAuthorship W3102239564A5078646305 @default.
- W3102239564 hasBestOaLocation W31022395642 @default.
- W3102239564 hasConcept C111919701 @default.
- W3102239564 hasConcept C115903868 @default.
- W3102239564 hasConcept C118524514 @default.
- W3102239564 hasConcept C188087704 @default.
- W3102239564 hasConcept C199360897 @default.
- W3102239564 hasConcept C20136886 @default.
- W3102239564 hasConcept C26713055 @default.
- W3102239564 hasConcept C2777904410 @default.
- W3102239564 hasConcept C41008148 @default.
- W3102239564 hasConcept C76844732 @default.
- W3102239564 hasConceptScore W3102239564C111919701 @default.
- W3102239564 hasConceptScore W3102239564C115903868 @default.
- W3102239564 hasConceptScore W3102239564C118524514 @default.
- W3102239564 hasConceptScore W3102239564C188087704 @default.
- W3102239564 hasConceptScore W3102239564C199360897 @default.
- W3102239564 hasConceptScore W3102239564C20136886 @default.
- W3102239564 hasConceptScore W3102239564C26713055 @default.
- W3102239564 hasConceptScore W3102239564C2777904410 @default.
- W3102239564 hasConceptScore W3102239564C41008148 @default.
- W3102239564 hasConceptScore W3102239564C76844732 @default.
- W3102239564 hasFunder F4320338335 @default.
- W3102239564 hasLocation W31022395641 @default.
- W3102239564 hasLocation W31022395642 @default.
- W3102239564 hasOpenAccess W3102239564 @default.
- W3102239564 hasPrimaryLocation W31022395641 @default.
- W3102239564 hasRelatedWork W1696745455 @default.
- W3102239564 hasRelatedWork W196322901 @default.
- W3102239564 hasRelatedWork W2020565692 @default.
- W3102239564 hasRelatedWork W2076752448 @default.
- W3102239564 hasRelatedWork W2087696154 @default.
- W3102239564 hasRelatedWork W2136065340 @default.
- W3102239564 hasRelatedWork W2146971106 @default.
- W3102239564 hasRelatedWork W2244567875 @default.
- W3102239564 hasRelatedWork W2888657876 @default.
- W3102239564 hasRelatedWork W3196460956 @default.
- W3102239564 isParatext "false" @default.
- W3102239564 isRetracted "false" @default.
- W3102239564 magId "3102239564" @default.
- W3102239564 workType "article" @default.