Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495437098> ?p ?o ?g. }
- W1495437098 endingPage "44" @default.
- W1495437098 startingPage "35" @default.
- W1495437098 abstract "We address the problem of offline selection of test cases for testing the conformance of a black-box implementation with respect to a specification of a reactive systems. Efficient solutions to this problem have been proposed in the context of finite-state models, based on the ioco contbmlance testing theory. We extend them in the context of infinite state specifications, modelled as automata extended with variables. We consider the selection of test cases according to test purposes describing abstract scenarios that one wants to test. The selection of program test cases then consists in syntactical transformations of the specification model, using approximate analysis." @default.
- W1495437098 created "2016-06-24" @default.
- W1495437098 creator A5001727653 @default.
- W1495437098 creator A5013334876 @default.
- W1495437098 creator A5066780988 @default.
- W1495437098 date "2007-01-28" @default.
- W1495437098 modified "2023-10-16" @default.
- W1495437098 title "Model-Based Test Selection for Infinite State Reactive Systems" @default.
- W1495437098 cites W1509343160 @default.
- W1495437098 cites W1766479663 @default.
- W1495437098 cites W1847824087 @default.
- W1495437098 cites W2043100293 @default.
- W1495437098 cites W2084555692 @default.
- W1495437098 cites W2160989498 @default.
- W1495437098 cites W2161786546 @default.
- W1495437098 cites W2166258512 @default.
- W1495437098 doi "https://doi.org/10.1007/978-0-387-39362-9_5" @default.
- W1495437098 hasPublicationYear "2007" @default.
- W1495437098 type Work @default.
- W1495437098 sameAs 1495437098 @default.
- W1495437098 citedByCount "5" @default.
- W1495437098 countsByYear W14954370982014 @default.
- W1495437098 countsByYear W14954370982016 @default.
- W1495437098 crossrefType "book-chapter" @default.
- W1495437098 hasAuthorship W1495437098A5001727653 @default.
- W1495437098 hasAuthorship W1495437098A5013334876 @default.
- W1495437098 hasAuthorship W1495437098A5066780988 @default.
- W1495437098 hasBestOaLocation W14954370981 @default.
- W1495437098 hasConcept C111919701 @default.
- W1495437098 hasConcept C112505250 @default.
- W1495437098 hasConcept C11413529 @default.
- W1495437098 hasConcept C119857082 @default.
- W1495437098 hasConcept C128942645 @default.
- W1495437098 hasConcept C149091818 @default.
- W1495437098 hasConcept C151730666 @default.
- W1495437098 hasConcept C152877465 @default.
- W1495437098 hasConcept C154945302 @default.
- W1495437098 hasConcept C162443782 @default.
- W1495437098 hasConcept C165825675 @default.
- W1495437098 hasConcept C167822520 @default.
- W1495437098 hasConcept C186846655 @default.
- W1495437098 hasConcept C188087704 @default.
- W1495437098 hasConcept C199360897 @default.
- W1495437098 hasConcept C2777267654 @default.
- W1495437098 hasConcept C2777904410 @default.
- W1495437098 hasConcept C2779343474 @default.
- W1495437098 hasConcept C41008148 @default.
- W1495437098 hasConcept C48103436 @default.
- W1495437098 hasConcept C76844732 @default.
- W1495437098 hasConcept C80444323 @default.
- W1495437098 hasConcept C81917197 @default.
- W1495437098 hasConcept C86803240 @default.
- W1495437098 hasConcept C93959086 @default.
- W1495437098 hasConceptScore W1495437098C111919701 @default.
- W1495437098 hasConceptScore W1495437098C112505250 @default.
- W1495437098 hasConceptScore W1495437098C11413529 @default.
- W1495437098 hasConceptScore W1495437098C119857082 @default.
- W1495437098 hasConceptScore W1495437098C128942645 @default.
- W1495437098 hasConceptScore W1495437098C149091818 @default.
- W1495437098 hasConceptScore W1495437098C151730666 @default.
- W1495437098 hasConceptScore W1495437098C152877465 @default.
- W1495437098 hasConceptScore W1495437098C154945302 @default.
- W1495437098 hasConceptScore W1495437098C162443782 @default.
- W1495437098 hasConceptScore W1495437098C165825675 @default.
- W1495437098 hasConceptScore W1495437098C167822520 @default.
- W1495437098 hasConceptScore W1495437098C186846655 @default.
- W1495437098 hasConceptScore W1495437098C188087704 @default.
- W1495437098 hasConceptScore W1495437098C199360897 @default.
- W1495437098 hasConceptScore W1495437098C2777267654 @default.
- W1495437098 hasConceptScore W1495437098C2777904410 @default.
- W1495437098 hasConceptScore W1495437098C2779343474 @default.
- W1495437098 hasConceptScore W1495437098C41008148 @default.
- W1495437098 hasConceptScore W1495437098C48103436 @default.
- W1495437098 hasConceptScore W1495437098C76844732 @default.
- W1495437098 hasConceptScore W1495437098C80444323 @default.
- W1495437098 hasConceptScore W1495437098C81917197 @default.
- W1495437098 hasConceptScore W1495437098C86803240 @default.
- W1495437098 hasConceptScore W1495437098C93959086 @default.
- W1495437098 hasLocation W14954370981 @default.
- W1495437098 hasLocation W14954370982 @default.
- W1495437098 hasLocation W14954370983 @default.
- W1495437098 hasLocation W14954370984 @default.
- W1495437098 hasLocation W14954370985 @default.
- W1495437098 hasOpenAccess W1495437098 @default.
- W1495437098 hasPrimaryLocation W14954370981 @default.
- W1495437098 hasRelatedWork W1480528870 @default.
- W1495437098 hasRelatedWork W1489300093 @default.
- W1495437098 hasRelatedWork W1495437098 @default.
- W1495437098 hasRelatedWork W2083501371 @default.
- W1495437098 hasRelatedWork W2095390900 @default.
- W1495437098 hasRelatedWork W2117617433 @default.
- W1495437098 hasRelatedWork W2763952729 @default.
- W1495437098 hasRelatedWork W4244911877 @default.
- W1495437098 hasRelatedWork W593718774 @default.
- W1495437098 hasRelatedWork W2741563842 @default.
- W1495437098 isParatext "false" @default.
- W1495437098 isRetracted "false" @default.
- W1495437098 magId "1495437098" @default.