Matches in SemOpenAlex for { <https://semopenalex.org/work/W2070291735> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2070291735 abstract "Sensor nodes are resource poor and failure-prone. Sensor networks are composed of many such nodes that are often hard to physically reach and that are connected by unreliable wireless links. Together, these factors make sensor network debugging into a challenging activity, and in fact it is not uncommon for a deployed sensornet to encounter sporadic faults that are effectively impossible to locate, reproduce, and fix.We developed T-Check, a tool that uses random walks and explicit state model checking to find safety and liveness errors in sensor network applications running on TinyOS. By building upon TOSSIM---an event-driven simulator that abstracts away interrupt-driven concurrency and other low-level hardware interaction---T-Check loses the ability to detect certain low-level errors, but gains enough scalability to detect distributed errors such as a collection tree protocol's failure to properly repair when a node dies. We have used T-Check to find previously unknown bugs in TinyOS." @default.
- W2070291735 created "2016-06-24" @default.
- W2070291735 creator A5066046345 @default.
- W2070291735 creator A5071458554 @default.
- W2070291735 date "2010-04-12" @default.
- W2070291735 modified "2023-10-18" @default.
- W2070291735 title "T-check" @default.
- W2070291735 cites W1484716073 @default.
- W2070291735 cites W1577404745 @default.
- W2070291735 cites W1975857401 @default.
- W2070291735 cites W2050123402 @default.
- W2070291735 cites W2062200967 @default.
- W2070291735 cites W2065675749 @default.
- W2070291735 cites W2082000355 @default.
- W2070291735 cites W2096879793 @default.
- W2070291735 cites W2098746868 @default.
- W2070291735 cites W2100395498 @default.
- W2070291735 cites W2105367543 @default.
- W2070291735 cites W2117189826 @default.
- W2070291735 cites W2118581494 @default.
- W2070291735 cites W2136845025 @default.
- W2070291735 cites W2141283509 @default.
- W2070291735 cites W2146872103 @default.
- W2070291735 cites W2160343401 @default.
- W2070291735 cites W2166791480 @default.
- W2070291735 cites W2170224888 @default.
- W2070291735 cites W2171427043 @default.
- W2070291735 cites W4210597212 @default.
- W2070291735 cites W4237395471 @default.
- W2070291735 cites W4243443630 @default.
- W2070291735 doi "https://doi.org/10.1145/1791212.1791234" @default.
- W2070291735 hasPublicationYear "2010" @default.
- W2070291735 type Work @default.
- W2070291735 sameAs 2070291735 @default.
- W2070291735 citedByCount "80" @default.
- W2070291735 countsByYear W20702917352012 @default.
- W2070291735 countsByYear W20702917352013 @default.
- W2070291735 countsByYear W20702917352014 @default.
- W2070291735 countsByYear W20702917352015 @default.
- W2070291735 countsByYear W20702917352016 @default.
- W2070291735 countsByYear W20702917352017 @default.
- W2070291735 countsByYear W20702917352018 @default.
- W2070291735 countsByYear W20702917352019 @default.
- W2070291735 countsByYear W20702917352020 @default.
- W2070291735 countsByYear W20702917352021 @default.
- W2070291735 countsByYear W20702917352022 @default.
- W2070291735 crossrefType "proceedings-article" @default.
- W2070291735 hasAuthorship W2070291735A5066046345 @default.
- W2070291735 hasAuthorship W2070291735A5071458554 @default.
- W2070291735 hasConcept C199360897 @default.
- W2070291735 hasConcept C41008148 @default.
- W2070291735 hasConceptScore W2070291735C199360897 @default.
- W2070291735 hasConceptScore W2070291735C41008148 @default.
- W2070291735 hasFunder F4320306076 @default.
- W2070291735 hasLocation W20702917351 @default.
- W2070291735 hasOpenAccess W2070291735 @default.
- W2070291735 hasPrimaryLocation W20702917351 @default.
- W2070291735 hasRelatedWork W2013111119 @default.
- W2070291735 hasRelatedWork W2047793074 @default.
- W2070291735 hasRelatedWork W2112962394 @default.
- W2070291735 hasRelatedWork W2118300983 @default.
- W2070291735 hasRelatedWork W2382501300 @default.
- W2070291735 hasRelatedWork W3137189469 @default.
- W2070291735 hasRelatedWork W3162240892 @default.
- W2070291735 hasRelatedWork W4235530921 @default.
- W2070291735 hasRelatedWork W4243252198 @default.
- W2070291735 hasRelatedWork W4245713008 @default.
- W2070291735 isParatext "false" @default.
- W2070291735 isRetracted "false" @default.
- W2070291735 magId "2070291735" @default.
- W2070291735 workType "article" @default.