Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990687584> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1990687584 endingPage "460" @default.
- W1990687584 startingPage "432" @default.
- W1990687584 abstract "In this paper we present a formal methodology to test both the functional and temporal behaviors in systems where temporal aspects are critical. We extend the classical finite state machines model with features to represent timed systems. Our formalism allows three different ways to express the timing requirements of systems. Specifically, we consider that time requirements can be expressed either by means of fix time values, by using random variables, or by considering time intervals. Different implementation relations, depending on both the interpretation of time and on the non-determinism appearing in systems, are presented and related. We also study how test cases are defined and applied to implementations. Test derivation algorithms, producing sound and complete test suites, are also presented. That is, by deriving these test suites we relate the different notions of passing tests and the different implementation relations. In other words, for a given correctness criterion, a system represents an appropriate implementation of a given model if and only if the system successfully passes all the test belonging to the derived test suite." @default.
- W1990687584 created "2016-06-24" @default.
- W1990687584 creator A5024107021 @default.
- W1990687584 creator A5076119369 @default.
- W1990687584 creator A5080808845 @default.
- W1990687584 date "2008-02-01" @default.
- W1990687584 modified "2023-10-01" @default.
- W1990687584 title "Formal testing from timed finite state machines" @default.
- W1990687584 cites W1979248560 @default.
- W1990687584 cites W1991978415 @default.
- W1990687584 cites W1998390096 @default.
- W1990687584 cites W2101508170 @default.
- W1990687584 cites W2102418068 @default.
- W1990687584 cites W2105394284 @default.
- W1990687584 cites W2126362024 @default.
- W1990687584 cites W2157144873 @default.
- W1990687584 cites W2163595873 @default.
- W1990687584 doi "https://doi.org/10.1016/j.comnet.2007.10.002" @default.
- W1990687584 hasPublicationYear "2008" @default.
- W1990687584 type Work @default.
- W1990687584 sameAs 1990687584 @default.
- W1990687584 citedByCount "75" @default.
- W1990687584 countsByYear W19906875842012 @default.
- W1990687584 countsByYear W19906875842013 @default.
- W1990687584 countsByYear W19906875842014 @default.
- W1990687584 countsByYear W19906875842015 @default.
- W1990687584 countsByYear W19906875842016 @default.
- W1990687584 countsByYear W19906875842017 @default.
- W1990687584 countsByYear W19906875842018 @default.
- W1990687584 countsByYear W19906875842019 @default.
- W1990687584 countsByYear W19906875842020 @default.
- W1990687584 countsByYear W19906875842021 @default.
- W1990687584 countsByYear W19906875842022 @default.
- W1990687584 crossrefType "journal-article" @default.
- W1990687584 hasAuthorship W1990687584A5024107021 @default.
- W1990687584 hasAuthorship W1990687584A5076119369 @default.
- W1990687584 hasAuthorship W1990687584A5080808845 @default.
- W1990687584 hasConcept C108913964 @default.
- W1990687584 hasConcept C11413529 @default.
- W1990687584 hasConcept C119857082 @default.
- W1990687584 hasConcept C121332964 @default.
- W1990687584 hasConcept C128942645 @default.
- W1990687584 hasConcept C142362112 @default.
- W1990687584 hasConcept C151552104 @default.
- W1990687584 hasConcept C152877465 @default.
- W1990687584 hasConcept C153349607 @default.
- W1990687584 hasConcept C167822520 @default.
- W1990687584 hasConcept C192183473 @default.
- W1990687584 hasConcept C199360897 @default.
- W1990687584 hasConcept C26713055 @default.
- W1990687584 hasConcept C41008148 @default.
- W1990687584 hasConcept C55439883 @default.
- W1990687584 hasConcept C558565934 @default.
- W1990687584 hasConcept C62520636 @default.
- W1990687584 hasConcept C73301696 @default.
- W1990687584 hasConcept C80444323 @default.
- W1990687584 hasConceptScore W1990687584C108913964 @default.
- W1990687584 hasConceptScore W1990687584C11413529 @default.
- W1990687584 hasConceptScore W1990687584C119857082 @default.
- W1990687584 hasConceptScore W1990687584C121332964 @default.
- W1990687584 hasConceptScore W1990687584C128942645 @default.
- W1990687584 hasConceptScore W1990687584C142362112 @default.
- W1990687584 hasConceptScore W1990687584C151552104 @default.
- W1990687584 hasConceptScore W1990687584C152877465 @default.
- W1990687584 hasConceptScore W1990687584C153349607 @default.
- W1990687584 hasConceptScore W1990687584C167822520 @default.
- W1990687584 hasConceptScore W1990687584C192183473 @default.
- W1990687584 hasConceptScore W1990687584C199360897 @default.
- W1990687584 hasConceptScore W1990687584C26713055 @default.
- W1990687584 hasConceptScore W1990687584C41008148 @default.
- W1990687584 hasConceptScore W1990687584C55439883 @default.
- W1990687584 hasConceptScore W1990687584C558565934 @default.
- W1990687584 hasConceptScore W1990687584C62520636 @default.
- W1990687584 hasConceptScore W1990687584C73301696 @default.
- W1990687584 hasConceptScore W1990687584C80444323 @default.
- W1990687584 hasIssue "2" @default.
- W1990687584 hasLocation W19906875841 @default.
- W1990687584 hasOpenAccess W1990687584 @default.
- W1990687584 hasPrimaryLocation W19906875841 @default.
- W1990687584 hasRelatedWork W147875353 @default.
- W1990687584 hasRelatedWork W1502756081 @default.
- W1990687584 hasRelatedWork W1984757784 @default.
- W1990687584 hasRelatedWork W2061183036 @default.
- W1990687584 hasRelatedWork W2063422308 @default.
- W1990687584 hasRelatedWork W2112640524 @default.
- W1990687584 hasRelatedWork W2170501285 @default.
- W1990687584 hasRelatedWork W2760222170 @default.
- W1990687584 hasRelatedWork W2884853955 @default.
- W1990687584 hasRelatedWork W2575311978 @default.
- W1990687584 hasVolume "52" @default.
- W1990687584 isParatext "false" @default.
- W1990687584 isRetracted "false" @default.
- W1990687584 magId "1990687584" @default.
- W1990687584 workType "article" @default.