Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113039517> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2113039517 abstract "In this paper we analyze the influence of the urgency in the timed transitions, and as consequence, in the test suite generation. As result, we formalize rules to generate sequences where the messages exchanged may be instantaneous or delayed. In addition, the generated scenarios are able to detect timing faults. For test generation, we use a prototype tool called HJ2IF. It is based on a test purpose algorithm, called hit-or-jump and it is applied for systems specified using Intermediate Format language (IF)." @default.
- W2113039517 created "2016-06-24" @default.
- W2113039517 creator A5053352469 @default.
- W2113039517 creator A5072274443 @default.
- W2113039517 date "2007-08-01" @default.
- W2113039517 modified "2023-09-25" @default.
- W2113039517 title "Towards an Automated Test Generation with Delayed Transitions for Timed Systems" @default.
- W2113039517 cites W1499058580 @default.
- W2113039517 cites W1522465028 @default.
- W2113039517 cites W1524439890 @default.
- W2113039517 cites W1562791265 @default.
- W2113039517 cites W1782531476 @default.
- W2113039517 cites W2102418068 @default.
- W2113039517 cites W2126362024 @default.
- W2113039517 cites W2422272475 @default.
- W2113039517 cites W2911583164 @default.
- W2113039517 cites W2555341099 @default.
- W2113039517 doi "https://doi.org/10.1109/rtcsa.2007.71" @default.
- W2113039517 hasPublicationYear "2007" @default.
- W2113039517 type Work @default.
- W2113039517 sameAs 2113039517 @default.
- W2113039517 citedByCount "0" @default.
- W2113039517 crossrefType "proceedings-article" @default.
- W2113039517 hasAuthorship W2113039517A5053352469 @default.
- W2113039517 hasAuthorship W2113039517A5072274443 @default.
- W2113039517 hasConcept C11413529 @default.
- W2113039517 hasConcept C119599485 @default.
- W2113039517 hasConcept C119857082 @default.
- W2113039517 hasConcept C121332964 @default.
- W2113039517 hasConcept C127413603 @default.
- W2113039517 hasConcept C128942645 @default.
- W2113039517 hasConcept C134146338 @default.
- W2113039517 hasConcept C151552104 @default.
- W2113039517 hasConcept C151730666 @default.
- W2113039517 hasConcept C152877465 @default.
- W2113039517 hasConcept C166957645 @default.
- W2113039517 hasConcept C17626397 @default.
- W2113039517 hasConcept C199360897 @default.
- W2113039517 hasConcept C2777267654 @default.
- W2113039517 hasConcept C2780695682 @default.
- W2113039517 hasConcept C41008148 @default.
- W2113039517 hasConcept C62520636 @default.
- W2113039517 hasConcept C79403827 @default.
- W2113039517 hasConcept C79581498 @default.
- W2113039517 hasConcept C86803240 @default.
- W2113039517 hasConcept C95457728 @default.
- W2113039517 hasConceptScore W2113039517C11413529 @default.
- W2113039517 hasConceptScore W2113039517C119599485 @default.
- W2113039517 hasConceptScore W2113039517C119857082 @default.
- W2113039517 hasConceptScore W2113039517C121332964 @default.
- W2113039517 hasConceptScore W2113039517C127413603 @default.
- W2113039517 hasConceptScore W2113039517C128942645 @default.
- W2113039517 hasConceptScore W2113039517C134146338 @default.
- W2113039517 hasConceptScore W2113039517C151552104 @default.
- W2113039517 hasConceptScore W2113039517C151730666 @default.
- W2113039517 hasConceptScore W2113039517C152877465 @default.
- W2113039517 hasConceptScore W2113039517C166957645 @default.
- W2113039517 hasConceptScore W2113039517C17626397 @default.
- W2113039517 hasConceptScore W2113039517C199360897 @default.
- W2113039517 hasConceptScore W2113039517C2777267654 @default.
- W2113039517 hasConceptScore W2113039517C2780695682 @default.
- W2113039517 hasConceptScore W2113039517C41008148 @default.
- W2113039517 hasConceptScore W2113039517C62520636 @default.
- W2113039517 hasConceptScore W2113039517C79403827 @default.
- W2113039517 hasConceptScore W2113039517C79581498 @default.
- W2113039517 hasConceptScore W2113039517C86803240 @default.
- W2113039517 hasConceptScore W2113039517C95457728 @default.
- W2113039517 hasLocation W21130395171 @default.
- W2113039517 hasOpenAccess W2113039517 @default.
- W2113039517 hasPrimaryLocation W21130395171 @default.
- W2113039517 hasRelatedWork W2026740353 @default.
- W2113039517 hasRelatedWork W2076903907 @default.
- W2113039517 hasRelatedWork W2142526494 @default.
- W2113039517 hasRelatedWork W2145792104 @default.
- W2113039517 hasRelatedWork W2157707302 @default.
- W2113039517 hasRelatedWork W2163962717 @default.
- W2113039517 hasRelatedWork W2215233055 @default.
- W2113039517 hasRelatedWork W2382087625 @default.
- W2113039517 hasRelatedWork W4252286421 @default.
- W2113039517 hasRelatedWork W99401342 @default.
- W2113039517 isParatext "false" @default.
- W2113039517 isRetracted "false" @default.
- W2113039517 magId "2113039517" @default.
- W2113039517 workType "article" @default.