Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520332662> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1520332662 endingPage "288" @default.
- W1520332662 startingPage "273" @default.
- W1520332662 abstract "Abstract.A recent model for testing systems with multiple timers is extended to compute proper input delays and timeout settings, and is applied to several types of timers required in a testing procedure. In the model, any transition in the specification can be made conditional on a set of running timers. Depending on the path taken to reach an edge, the values of the timer variables may render the traversal of the edge infeasible. The presented modeling technique, combined with the INconsistencies DEtection and ELimination (INDEEL) algorithms, allows the generation of feasible test sequences. The model also offers the flexibility to define timer lengths as variables, and have the INDEEL find the appropriate timer ranges. An approach to apply this new methodology to SDL timed extensions (guarding and delaying timers) is presented." @default.
- W1520332662 created "2016-06-24" @default.
- W1520332662 creator A5032591736 @default.
- W1520332662 creator A5045444284 @default.
- W1520332662 creator A5060658112 @default.
- W1520332662 date "2003-01-01" @default.
- W1520332662 modified "2023-09-27" @default.
- W1520332662 title "Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers" @default.
- W1520332662 cites W106389465 @default.
- W1520332662 cites W1482615628 @default.
- W1520332662 cites W1535648515 @default.
- W1520332662 cites W1550912347 @default.
- W1520332662 cites W1981480808 @default.
- W1520332662 cites W2016250485 @default.
- W1520332662 cites W2054409309 @default.
- W1520332662 cites W2070591508 @default.
- W1520332662 cites W2101508170 @default.
- W1520332662 cites W2102418068 @default.
- W1520332662 cites W2107580999 @default.
- W1520332662 cites W2140871903 @default.
- W1520332662 cites W2143578569 @default.
- W1520332662 cites W2163595873 @default.
- W1520332662 cites W62697410 @default.
- W1520332662 doi "https://doi.org/10.1007/978-3-540-39979-7_18" @default.
- W1520332662 hasPublicationYear "2003" @default.
- W1520332662 type Work @default.
- W1520332662 sameAs 1520332662 @default.
- W1520332662 citedByCount "1" @default.
- W1520332662 countsByYear W15203326622012 @default.
- W1520332662 crossrefType "book-chapter" @default.
- W1520332662 hasAuthorship W1520332662A5032591736 @default.
- W1520332662 hasAuthorship W1520332662A5045444284 @default.
- W1520332662 hasAuthorship W1520332662A5060658112 @default.
- W1520332662 hasBestOaLocation W15203326621 @default.
- W1520332662 hasConcept C105795698 @default.
- W1520332662 hasConcept C11413529 @default.
- W1520332662 hasConcept C120314980 @default.
- W1520332662 hasConcept C140745168 @default.
- W1520332662 hasConcept C149635348 @default.
- W1520332662 hasConcept C154945302 @default.
- W1520332662 hasConcept C162307627 @default.
- W1520332662 hasConcept C173018170 @default.
- W1520332662 hasConcept C177264268 @default.
- W1520332662 hasConcept C17744445 @default.
- W1520332662 hasConcept C199360897 @default.
- W1520332662 hasConcept C199539241 @default.
- W1520332662 hasConcept C2776633867 @default.
- W1520332662 hasConcept C2777735758 @default.
- W1520332662 hasConcept C2779110517 @default.
- W1520332662 hasConcept C2780598303 @default.
- W1520332662 hasConcept C31258907 @default.
- W1520332662 hasConcept C31691690 @default.
- W1520332662 hasConcept C33923547 @default.
- W1520332662 hasConcept C41008148 @default.
- W1520332662 hasConcept C79403827 @default.
- W1520332662 hasConceptScore W1520332662C105795698 @default.
- W1520332662 hasConceptScore W1520332662C11413529 @default.
- W1520332662 hasConceptScore W1520332662C120314980 @default.
- W1520332662 hasConceptScore W1520332662C140745168 @default.
- W1520332662 hasConceptScore W1520332662C149635348 @default.
- W1520332662 hasConceptScore W1520332662C154945302 @default.
- W1520332662 hasConceptScore W1520332662C162307627 @default.
- W1520332662 hasConceptScore W1520332662C173018170 @default.
- W1520332662 hasConceptScore W1520332662C177264268 @default.
- W1520332662 hasConceptScore W1520332662C17744445 @default.
- W1520332662 hasConceptScore W1520332662C199360897 @default.
- W1520332662 hasConceptScore W1520332662C199539241 @default.
- W1520332662 hasConceptScore W1520332662C2776633867 @default.
- W1520332662 hasConceptScore W1520332662C2777735758 @default.
- W1520332662 hasConceptScore W1520332662C2779110517 @default.
- W1520332662 hasConceptScore W1520332662C2780598303 @default.
- W1520332662 hasConceptScore W1520332662C31258907 @default.
- W1520332662 hasConceptScore W1520332662C31691690 @default.
- W1520332662 hasConceptScore W1520332662C33923547 @default.
- W1520332662 hasConceptScore W1520332662C41008148 @default.
- W1520332662 hasConceptScore W1520332662C79403827 @default.
- W1520332662 hasLocation W15203326621 @default.
- W1520332662 hasOpenAccess W1520332662 @default.
- W1520332662 hasPrimaryLocation W15203326621 @default.
- W1520332662 hasRelatedWork W1520332662 @default.
- W1520332662 hasRelatedWork W1594137759 @default.
- W1520332662 hasRelatedWork W1601169863 @default.
- W1520332662 hasRelatedWork W1605168248 @default.
- W1520332662 hasRelatedWork W2023612420 @default.
- W1520332662 hasRelatedWork W2096011712 @default.
- W1520332662 hasRelatedWork W2150040139 @default.
- W1520332662 hasRelatedWork W2356534957 @default.
- W1520332662 hasRelatedWork W2391587386 @default.
- W1520332662 hasRelatedWork W4298196516 @default.
- W1520332662 isParatext "false" @default.
- W1520332662 isRetracted "false" @default.
- W1520332662 magId "1520332662" @default.
- W1520332662 workType "book-chapter" @default.