Matches in SemOpenAlex for { <https://semopenalex.org/work/W2979344318> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2979344318 endingPage "120" @default.
- W2979344318 startingPage "104" @default.
- W2979344318 abstract "The problem of generating tests detecting all logical and timing faults which can occur in real-time systems is challenging; this is because the number of (timing) faults is potentially too big or infinite. As a result, it might be time consuming to generate an important number of adequate tests. The traditional model based testing approach considers a fault domain as the universe of all machines with a given number of states and input-output alphabet while mutation based approaches define a list of mutants to kill with a test suite. In this paper, we combine the two approaches by developing a mutation testing technique for real-time systems represented with deterministic timed finite state machines with timed guards and timeouts (TFSM-TG). In this approach, fault domains consisting of fault-seeded versions of the specification (mutants) are represented with non-deterministic TFSM-TG. The test generation avoids the one-by-one enumeration of the mutants and is based on constraint solving. We present the results of an empirical proof-of-concept implementation of the proposed approach." @default.
- W2979344318 created "2019-10-18" @default.
- W2979344318 creator A5050633462 @default.
- W2979344318 creator A5061205207 @default.
- W2979344318 creator A5079252969 @default.
- W2979344318 date "2019-01-01" @default.
- W2979344318 modified "2023-10-10" @default.
- W2979344318 title "Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts" @default.
- W2979344318 cites W1604379489 @default.
- W2979344318 cites W1605798759 @default.
- W2979344318 cites W1608876340 @default.
- W2979344318 cites W1779794039 @default.
- W2979344318 cites W1878755561 @default.
- W2979344318 cites W1970083749 @default.
- W2979344318 cites W1990687584 @default.
- W2979344318 cites W2008813808 @default.
- W2979344318 cites W2011762419 @default.
- W2979344318 cites W2097296960 @default.
- W2979344318 cites W2101508170 @default.
- W2979344318 cites W2110970068 @default.
- W2979344318 cites W2142909298 @default.
- W2979344318 cites W2161716898 @default.
- W2979344318 cites W2163659692 @default.
- W2979344318 cites W2169593191 @default.
- W2979344318 cites W2226985919 @default.
- W2979344318 cites W2460620709 @default.
- W2979344318 cites W2755546362 @default.
- W2979344318 cites W2890955993 @default.
- W2979344318 cites W2896953452 @default.
- W2979344318 doi "https://doi.org/10.1007/978-3-030-31280-0_7" @default.
- W2979344318 hasPublicationYear "2019" @default.
- W2979344318 type Work @default.
- W2979344318 sameAs 2979344318 @default.
- W2979344318 citedByCount "2" @default.
- W2979344318 countsByYear W29793443182021 @default.
- W2979344318 countsByYear W29793443182022 @default.
- W2979344318 crossrefType "book-chapter" @default.
- W2979344318 hasAuthorship W2979344318A5050633462 @default.
- W2979344318 hasAuthorship W2979344318A5061205207 @default.
- W2979344318 hasAuthorship W2979344318A5079252969 @default.
- W2979344318 hasBestOaLocation W29793443182 @default.
- W2979344318 hasConcept C104317684 @default.
- W2979344318 hasConcept C110251889 @default.
- W2979344318 hasConcept C11413529 @default.
- W2979344318 hasConcept C119857082 @default.
- W2979344318 hasConcept C127313418 @default.
- W2979344318 hasConcept C128942645 @default.
- W2979344318 hasConcept C151552104 @default.
- W2979344318 hasConcept C152877465 @default.
- W2979344318 hasConcept C165205528 @default.
- W2979344318 hasConcept C167822520 @default.
- W2979344318 hasConcept C175551986 @default.
- W2979344318 hasConcept C185592680 @default.
- W2979344318 hasConcept C199360897 @default.
- W2979344318 hasConcept C41008148 @default.
- W2979344318 hasConcept C48103436 @default.
- W2979344318 hasConcept C501734568 @default.
- W2979344318 hasConcept C55493867 @default.
- W2979344318 hasConcept C80444323 @default.
- W2979344318 hasConcept C98045186 @default.
- W2979344318 hasConceptScore W2979344318C104317684 @default.
- W2979344318 hasConceptScore W2979344318C110251889 @default.
- W2979344318 hasConceptScore W2979344318C11413529 @default.
- W2979344318 hasConceptScore W2979344318C119857082 @default.
- W2979344318 hasConceptScore W2979344318C127313418 @default.
- W2979344318 hasConceptScore W2979344318C128942645 @default.
- W2979344318 hasConceptScore W2979344318C151552104 @default.
- W2979344318 hasConceptScore W2979344318C152877465 @default.
- W2979344318 hasConceptScore W2979344318C165205528 @default.
- W2979344318 hasConceptScore W2979344318C167822520 @default.
- W2979344318 hasConceptScore W2979344318C175551986 @default.
- W2979344318 hasConceptScore W2979344318C185592680 @default.
- W2979344318 hasConceptScore W2979344318C199360897 @default.
- W2979344318 hasConceptScore W2979344318C41008148 @default.
- W2979344318 hasConceptScore W2979344318C48103436 @default.
- W2979344318 hasConceptScore W2979344318C501734568 @default.
- W2979344318 hasConceptScore W2979344318C55493867 @default.
- W2979344318 hasConceptScore W2979344318C80444323 @default.
- W2979344318 hasConceptScore W2979344318C98045186 @default.
- W2979344318 hasLocation W29793443181 @default.
- W2979344318 hasLocation W29793443182 @default.
- W2979344318 hasLocation W29793443183 @default.
- W2979344318 hasOpenAccess W2979344318 @default.
- W2979344318 hasPrimaryLocation W29793443181 @default.
- W2979344318 hasRelatedWork W1524028411 @default.
- W2979344318 hasRelatedWork W1598160211 @default.
- W2979344318 hasRelatedWork W1760199343 @default.
- W2979344318 hasRelatedWork W2018145554 @default.
- W2979344318 hasRelatedWork W2067499928 @default.
- W2979344318 hasRelatedWork W2127248783 @default.
- W2979344318 hasRelatedWork W2132457296 @default.
- W2979344318 hasRelatedWork W2138059712 @default.
- W2979344318 hasRelatedWork W2152200777 @default.
- W2979344318 hasRelatedWork W2378154521 @default.
- W2979344318 isParatext "false" @default.
- W2979344318 isRetracted "false" @default.
- W2979344318 magId "2979344318" @default.
- W2979344318 workType "book-chapter" @default.