FRINK Linked Data Fragments server

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

• W2126362024 endingPage "809" @default.
• W2126362024 startingPage "796" @default.
• W2126362024 abstract "We present a new model for testing real-time protocols with multiple timers, which captures complex timing dependencies by using simple linear expressions involving timer-related variables. This new modeling technique, combined with the algorithms to eliminate inconsistencies, allows generation of feasible test sequences without compromising their fault coverage. The model is specifically designed for testing to avoid performing full reachability analysis, and to control the growth of the number of test scenarios. Based on extended finite state machines, it is applicable to languages such as SDL, VHDL, and Estelle. The technique models a realistic testing framework in which each I/O exchange takes a certain time to realize and timers can be arbitrarily started or stopped. A software tool implementing this technique is used to generate test cases for the US Army wireless standard MIL-STD 188-220." @default.
• W2126362024 created "2016-06-24" @default.
• W2126362024 creator A5023974373 @default.
• W2126362024 creator A5032591736 @default.
• W2126362024 creator A5045444284 @default.
• W2126362024 creator A5060658112 @default.
• W2126362024 date "2003-10-01" @default.
• W2126362024 modified "2023-10-09" @default.
• W2126362024 title "A technique to generate feasible tests for communications systems with multiple timers" @default.
• W2126362024 cites W106389465 @default.
• W2126362024 cites W1482615628 @default.
• W2126362024 cites W1550912347 @default.
• W2126362024 cites W1566743700 @default.
• W2126362024 cites W1574289075 @default.
• W2126362024 cites W1593785926 @default.
• W2126362024 cites W1877887853 @default.
• W2126362024 cites W1979248560 @default.
• W2126362024 cites W2004929506 @default.
• W2126362024 cites W2016250485 @default.
• W2126362024 cites W2052958388 @default.
• W2126362024 cites W2059701569 @default.
• W2126362024 cites W2060461359 @default.
• W2126362024 cites W2070591508 @default.
• W2126362024 cites W2098559515 @default.
• W2126362024 cites W2101508170 @default.
• W2126362024 cites W2102418068 @default.
• W2126362024 cites W2102705480 @default.
• W2126362024 cites W2105394284 @default.
• W2126362024 cites W2107003545 @default.
• W2126362024 cites W2107580999 @default.
• W2126362024 cites W2140932781 @default.
• W2126362024 cites W2143578569 @default.
• W2126362024 cites W2159431194 @default.
• W2126362024 cites W2162032875 @default.
• W2126362024 cites W2163595873 @default.
• W2126362024 cites W2168985013 @default.
• W2126362024 cites W62697410 @default.
• W2126362024 cites W2123075235 @default.
• W2126362024 doi "https://doi.org/10.1109/tnet.2003.818182" @default.
• W2126362024 hasPublicationYear "2003" @default.
• W2126362024 type Work @default.
• W2126362024 sameAs 2126362024 @default.
• W2126362024 citedByCount "27" @default.
• W2126362024 countsByYear W21263620242015 @default.
• W2126362024 crossrefType "journal-article" @default.
• W2126362024 hasAuthorship W2126362024A5023974373 @default.
• W2126362024 hasAuthorship W2126362024A5032591736 @default.
• W2126362024 hasAuthorship W2126362024A5045444284 @default.
• W2126362024 hasAuthorship W2126362024A5060658112 @default.
• W2126362024 hasConcept C108913964 @default.
• W2126362024 hasConcept C110251889 @default.
• W2126362024 hasConcept C111065885 @default.
• W2126362024 hasConcept C111472728 @default.
• W2126362024 hasConcept C113775141 @default.
• W2126362024 hasConcept C11413529 @default.
• W2126362024 hasConcept C119857082 @default.
• W2126362024 hasConcept C128942645 @default.
• W2126362024 hasConcept C136643341 @default.
• W2126362024 hasConcept C138885662 @default.
• W2126362024 hasConcept C149635348 @default.
• W2126362024 hasConcept C152877465 @default.
• W2126362024 hasConcept C162443782 @default.
• W2126362024 hasConcept C165825675 @default.
• W2126362024 hasConcept C167822520 @default.
• W2126362024 hasConcept C173018170 @default.
• W2126362024 hasConcept C181062253 @default.
• W2126362024 hasConcept C186846655 @default.
• W2126362024 hasConcept C199360897 @default.
• W2126362024 hasConcept C2776633867 @default.
• W2126362024 hasConcept C2777904410 @default.
• W2126362024 hasConcept C2780586882 @default.
• W2126362024 hasConcept C41008148 @default.
• W2126362024 hasConcept C48103436 @default.
• W2126362024 hasConcept C529173508 @default.
• W2126362024 hasConceptScore W2126362024C108913964 @default.
• W2126362024 hasConceptScore W2126362024C110251889 @default.
• W2126362024 hasConceptScore W2126362024C111065885 @default.
• W2126362024 hasConceptScore W2126362024C111472728 @default.
• W2126362024 hasConceptScore W2126362024C113775141 @default.
• W2126362024 hasConceptScore W2126362024C11413529 @default.
• W2126362024 hasConceptScore W2126362024C119857082 @default.
• W2126362024 hasConceptScore W2126362024C128942645 @default.
• W2126362024 hasConceptScore W2126362024C136643341 @default.
• W2126362024 hasConceptScore W2126362024C138885662 @default.
• W2126362024 hasConceptScore W2126362024C149635348 @default.
• W2126362024 hasConceptScore W2126362024C152877465 @default.
• W2126362024 hasConceptScore W2126362024C162443782 @default.
• W2126362024 hasConceptScore W2126362024C165825675 @default.
• W2126362024 hasConceptScore W2126362024C167822520 @default.
• W2126362024 hasConceptScore W2126362024C173018170 @default.
• W2126362024 hasConceptScore W2126362024C181062253 @default.
• W2126362024 hasConceptScore W2126362024C186846655 @default.
• W2126362024 hasConceptScore W2126362024C199360897 @default.
• W2126362024 hasConceptScore W2126362024C2776633867 @default.
• W2126362024 hasConceptScore W2126362024C2777904410 @default.
• W2126362024 hasConceptScore W2126362024C2780586882 @default.
• W2126362024 hasConceptScore W2126362024C41008148 @default.
• W2126362024 hasConceptScore W2126362024C48103436 @default.

• next