Matches in SemOpenAlex for { <https://semopenalex.org/work/W60021167> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W60021167 endingPage "47" @default.
- W60021167 startingPage "32" @default.
- W60021167 abstract "We propose in the paper a test property specification language, dedicated to UML/OCL models. This language is intended to express temporal properties on the executions of the system, that one wants to test. It is based on patterns, specifying the behaviours one wants to exhibit/avoid, and scopes, defining the piece of execution trace on which a given pattern applies. Each property is a combination of a scope and a pattern, providing a means for a validation engineer to easily express temporal properties on a system, without using complex formal notations. Properties have the semantics of an event-based transition system whose coverage can be measured so as to evaluate the relevance of a given test suite. These principles aim at being used in the context of a research project, in which the security properties are expressed on an industrial case study of a smart card operating system. This approach makes it possible to assist the Common Criteria evaluation of the testing phase, that requires evidences of the extensiveness of the testing phase of a security product." @default.
- W60021167 created "2016-06-24" @default.
- W60021167 creator A5029186139 @default.
- W60021167 creator A5041596914 @default.
- W60021167 creator A5081952357 @default.
- W60021167 creator A5088104020 @default.
- W60021167 date "2011-01-01" @default.
- W60021167 modified "2023-10-15" @default.
- W60021167 title "Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests" @default.
- W60021167 cites W1505422411 @default.
- W60021167 cites W1548031742 @default.
- W60021167 cites W1575611811 @default.
- W60021167 cites W1985253638 @default.
- W60021167 cites W1996832037 @default.
- W60021167 cites W2026774266 @default.
- W60021167 cites W2115105266 @default.
- W60021167 cites W3183356019 @default.
- W60021167 cites W2036458670 @default.
- W60021167 doi "https://doi.org/10.1007/978-3-642-24580-0_4" @default.
- W60021167 hasPublicationYear "2011" @default.
- W60021167 type Work @default.
- W60021167 sameAs 60021167 @default.
- W60021167 citedByCount "9" @default.
- W60021167 countsByYear W600211672013 @default.
- W60021167 countsByYear W600211672014 @default.
- W60021167 countsByYear W600211672015 @default.
- W60021167 countsByYear W600211672016 @default.
- W60021167 crossrefType "book-chapter" @default.
- W60021167 hasAuthorship W60021167A5029186139 @default.
- W60021167 hasAuthorship W60021167A5041596914 @default.
- W60021167 hasAuthorship W60021167A5081952357 @default.
- W60021167 hasAuthorship W60021167A5088104020 @default.
- W60021167 hasBestOaLocation W600211671 @default.
- W60021167 hasConcept C111472728 @default.
- W60021167 hasConcept C115903868 @default.
- W60021167 hasConcept C119857082 @default.
- W60021167 hasConcept C128942645 @default.
- W60021167 hasConcept C138885662 @default.
- W60021167 hasConcept C145644426 @default.
- W60021167 hasConcept C151552104 @default.
- W60021167 hasConcept C151730666 @default.
- W60021167 hasConcept C152877465 @default.
- W60021167 hasConcept C158154518 @default.
- W60021167 hasConcept C165825675 @default.
- W60021167 hasConcept C17744445 @default.
- W60021167 hasConcept C184337299 @default.
- W60021167 hasConcept C189950617 @default.
- W60021167 hasConcept C199360897 @default.
- W60021167 hasConcept C199539241 @default.
- W60021167 hasConcept C2777904410 @default.
- W60021167 hasConcept C2779343474 @default.
- W60021167 hasConcept C41008148 @default.
- W60021167 hasConcept C41895202 @default.
- W60021167 hasConcept C75291252 @default.
- W60021167 hasConcept C86803240 @default.
- W60021167 hasConceptScore W60021167C111472728 @default.
- W60021167 hasConceptScore W60021167C115903868 @default.
- W60021167 hasConceptScore W60021167C119857082 @default.
- W60021167 hasConceptScore W60021167C128942645 @default.
- W60021167 hasConceptScore W60021167C138885662 @default.
- W60021167 hasConceptScore W60021167C145644426 @default.
- W60021167 hasConceptScore W60021167C151552104 @default.
- W60021167 hasConceptScore W60021167C151730666 @default.
- W60021167 hasConceptScore W60021167C152877465 @default.
- W60021167 hasConceptScore W60021167C158154518 @default.
- W60021167 hasConceptScore W60021167C165825675 @default.
- W60021167 hasConceptScore W60021167C17744445 @default.
- W60021167 hasConceptScore W60021167C184337299 @default.
- W60021167 hasConceptScore W60021167C189950617 @default.
- W60021167 hasConceptScore W60021167C199360897 @default.
- W60021167 hasConceptScore W60021167C199539241 @default.
- W60021167 hasConceptScore W60021167C2777904410 @default.
- W60021167 hasConceptScore W60021167C2779343474 @default.
- W60021167 hasConceptScore W60021167C41008148 @default.
- W60021167 hasConceptScore W60021167C41895202 @default.
- W60021167 hasConceptScore W60021167C75291252 @default.
- W60021167 hasConceptScore W60021167C86803240 @default.
- W60021167 hasLocation W600211671 @default.
- W60021167 hasLocation W600211672 @default.
- W60021167 hasLocation W600211673 @default.
- W60021167 hasLocation W600211674 @default.
- W60021167 hasLocation W600211675 @default.
- W60021167 hasOpenAccess W60021167 @default.
- W60021167 hasPrimaryLocation W600211671 @default.
- W60021167 hasRelatedWork W1486779561 @default.
- W60021167 hasRelatedWork W1598160211 @default.
- W60021167 hasRelatedWork W1968494916 @default.
- W60021167 hasRelatedWork W2018145554 @default.
- W60021167 hasRelatedWork W2061183036 @default.
- W60021167 hasRelatedWork W2127350021 @default.
- W60021167 hasRelatedWork W2204156854 @default.
- W60021167 hasRelatedWork W2591654319 @default.
- W60021167 hasRelatedWork W52853052 @default.
- W60021167 hasRelatedWork W62415093 @default.
- W60021167 isParatext "false" @default.
- W60021167 isRetracted "false" @default.
- W60021167 magId "60021167" @default.
- W60021167 workType "book-chapter" @default.