FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4316013191> ?p ?o ?g. }

• W4316013191 endingPage "9555" @default.
• W4316013191 startingPage "9544" @default.
• W4316013191 abstract "IoT devices offer insufficient protections against exploitation of critical programming errors (such as buffer overflows) it is therefore paramount to sufficiently test IoT software before deployment. A central source of these errors is the implementations of stateful network protocols used in the IoT (e.g., MQTT-SN). Unfortunately, comprehensive automated testing of such protocol implementations is challenging due to their large state space. Furthermore, prior work on automated testing of protocol implementations focuses on conventional desktop systems and does thus not address challenges specific to the IoT domain (e.g., handling of peripheral interactions). In this publication, we leverage symbolic execution (an automated software testing technique) for testing stateful network protocol implementation in the IoT domain. To mitigate issues regarding the state-space explosion, we propose a novel symbolic execution approach which is based on created protocol state and message format specifications and specifically tailored to the IoT domain. We employ our specification-based symbolic execution approach to test protocol implementations provided by two popular IoT operating systems. Our experiments indicate that a significant increase in code coverage can be achieved using our automated software testing approach. We were further able to discover three critical and previously unknown bugs in network protocol implementations provided by the RIOT operating system." @default.
• W4316013191 created "2023-01-14" @default.
• W4316013191 creator A5012137527 @default.
• W4316013191 creator A5012972830 @default.
• W4316013191 creator A5071742136 @default.
• W4316013191 date "2023-06-01" @default.
• W4316013191 modified "2023-10-18" @default.
• W4316013191 title "Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT" @default.
• W4316013191 cites W1529728259 @default.
• W4316013191 cites W1680355580 @default.
• W4316013191 cites W1778387619 @default.
• W4316013191 cites W1819209966 @default.
• W4316013191 cites W2011367000 @default.
• W4316013191 cites W2051700952 @default.
• W4316013191 cites W2051990174 @default.
• W4316013191 cites W2062200967 @default.
• W4316013191 cites W2117448240 @default.
• W4316013191 cites W2125555950 @default.
• W4316013191 cites W2129975948 @default.
• W4316013191 cites W2137530017 @default.
• W4316013191 cites W2138890930 @default.
• W4316013191 cites W2155448819 @default.
• W4316013191 cites W2234639732 @default.
• W4316013191 cites W2343874908 @default.
• W4316013191 cites W2514974017 @default.
• W4316013191 cites W2546094875 @default.
• W4316013191 cites W2615918556 @default.
• W4316013191 cites W2737058386 @default.
• W4316013191 cites W2782780792 @default.
• W4316013191 cites W2791018263 @default.
• W4316013191 cites W2791403216 @default.
• W4316013191 cites W2963723316 @default.
• W4316013191 cites W3047947484 @default.
• W4316013191 cites W3164551084 @default.
• W4316013191 cites W3212294778 @default.
• W4316013191 cites W4220856780 @default.
• W4316013191 cites W4235381699 @default.
• W4316013191 cites W4236546623 @default.
• W4316013191 cites W4312337699 @default.
• W4316013191 doi "https://doi.org/10.1109/jiot.2023.3236694" @default.
• W4316013191 hasPublicationYear "2023" @default.
• W4316013191 type Work @default.
• W4316013191 citedByCount "0" @default.
• W4316013191 crossrefType "journal-article" @default.
• W4316013191 hasAuthorship W4316013191A5012137527 @default.
• W4316013191 hasAuthorship W4316013191A5012972830 @default.
• W4316013191 hasAuthorship W4316013191A5071742136 @default.
• W4316013191 hasConcept C111919701 @default.
• W4316013191 hasConcept C119857082 @default.
• W4316013191 hasConcept C120314980 @default.
• W4316013191 hasConcept C12269588 @default.
• W4316013191 hasConcept C142724271 @default.
• W4316013191 hasConcept C149635348 @default.
• W4316013191 hasConcept C153083717 @default.
• W4316013191 hasConcept C158379750 @default.
• W4316013191 hasConcept C199360897 @default.
• W4316013191 hasConcept C204787440 @default.
• W4316013191 hasConcept C22927095 @default.
• W4316013191 hasConcept C26713055 @default.
• W4316013191 hasConcept C2777062904 @default.
• W4316013191 hasConcept C2777904410 @default.
• W4316013191 hasConcept C2779639559 @default.
• W4316013191 hasConcept C2780385302 @default.
• W4316013191 hasConcept C31258907 @default.
• W4316013191 hasConcept C31395832 @default.
• W4316013191 hasConcept C41008148 @default.
• W4316013191 hasConcept C71924100 @default.
• W4316013191 hasConceptScore W4316013191C111919701 @default.
• W4316013191 hasConceptScore W4316013191C119857082 @default.
• W4316013191 hasConceptScore W4316013191C120314980 @default.
• W4316013191 hasConceptScore W4316013191C12269588 @default.
• W4316013191 hasConceptScore W4316013191C142724271 @default.
• W4316013191 hasConceptScore W4316013191C149635348 @default.
• W4316013191 hasConceptScore W4316013191C153083717 @default.
• W4316013191 hasConceptScore W4316013191C158379750 @default.
• W4316013191 hasConceptScore W4316013191C199360897 @default.
• W4316013191 hasConceptScore W4316013191C204787440 @default.
• W4316013191 hasConceptScore W4316013191C22927095 @default.
• W4316013191 hasConceptScore W4316013191C26713055 @default.
• W4316013191 hasConceptScore W4316013191C2777062904 @default.
• W4316013191 hasConceptScore W4316013191C2777904410 @default.
• W4316013191 hasConceptScore W4316013191C2779639559 @default.
• W4316013191 hasConceptScore W4316013191C2780385302 @default.
• W4316013191 hasConceptScore W4316013191C31258907 @default.
• W4316013191 hasConceptScore W4316013191C31395832 @default.
• W4316013191 hasConceptScore W4316013191C41008148 @default.
• W4316013191 hasConceptScore W4316013191C71924100 @default.
• W4316013191 hasFunder F4320321114 @default.
• W4316013191 hasIssue "11" @default.
• W4316013191 hasLocation W43160131911 @default.
• W4316013191 hasOpenAccess W4316013191 @default.
• W4316013191 hasPrimaryLocation W43160131911 @default.
• W4316013191 hasRelatedWork W1596157658 @default.
• W4316013191 hasRelatedWork W1669499690 @default.
• W4316013191 hasRelatedWork W1995590221 @default.
• W4316013191 hasRelatedWork W2036048210 @default.
• W4316013191 hasRelatedWork W2083338789 @default.
• W4316013191 hasRelatedWork W2630191942 @default.

• next