Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061462992> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2061462992 endingPage "21" @default.
- W2061462992 startingPage "1" @default.
- W2061462992 abstract "Requirements traceability enables the linkage between all development artifacts during the development process. Within model-based testing, requirements traceability links the original requirements with test model elements and generated test cases. Current approaches are either not practical or lack the necessary formal foundation for generating requirements-based test cases using model-checking techniques involving the requirements trace. This paper describes a practical and formal approach to ensure requirements traceability. The descriptions of the requirements are defined on path fragments of timed automata or timed state charts. The graphical representation of these paths is called a computation sequence chart (CSC). CSCs are automatically transformed into temporal logic formulae. A model-checking algorithm considers these formulae when generating test cases." @default.
- W2061462992 created "2016-06-24" @default.
- W2061462992 creator A5066590773 @default.
- W2061462992 date "2011-04-01" @default.
- W2061462992 modified "2023-10-18" @default.
- W2061462992 title "Requirements Traceability within Model-Based Testing" @default.
- W2061462992 cites W1750379273 @default.
- W2061462992 cites W1819209966 @default.
- W2061462992 cites W1885037678 @default.
- W2061462992 cites W1972747156 @default.
- W2061462992 cites W1996832037 @default.
- W2061462992 cites W1999368269 @default.
- W2061462992 cites W2023808162 @default.
- W2061462992 cites W2028586402 @default.
- W2061462992 cites W2104415344 @default.
- W2061462992 cites W2110495045 @default.
- W2061462992 cites W2122246338 @default.
- W2061462992 cites W2914757374 @default.
- W2061462992 cites W4253563042 @default.
- W2061462992 doi "https://doi.org/10.4018/jertcs.2011040101" @default.
- W2061462992 hasPublicationYear "2011" @default.
- W2061462992 type Work @default.
- W2061462992 sameAs 2061462992 @default.
- W2061462992 citedByCount "1" @default.
- W2061462992 countsByYear W20614629922015 @default.
- W2061462992 crossrefType "journal-article" @default.
- W2061462992 hasAuthorship W2061462992A5066590773 @default.
- W2061462992 hasConcept C110251889 @default.
- W2061462992 hasConcept C112505250 @default.
- W2061462992 hasConcept C115903868 @default.
- W2061462992 hasConcept C119857082 @default.
- W2061462992 hasConcept C127413603 @default.
- W2061462992 hasConcept C128942645 @default.
- W2061462992 hasConcept C135475081 @default.
- W2061462992 hasConcept C138885662 @default.
- W2061462992 hasConcept C152877465 @default.
- W2061462992 hasConcept C153876917 @default.
- W2061462992 hasConcept C165825675 @default.
- W2061462992 hasConcept C199360897 @default.
- W2061462992 hasConcept C200601418 @default.
- W2061462992 hasConcept C2777904410 @default.
- W2061462992 hasConcept C35084680 @default.
- W2061462992 hasConcept C41008148 @default.
- W2061462992 hasConcept C41895202 @default.
- W2061462992 hasConcept C6604083 @default.
- W2061462992 hasConcept C75291252 @default.
- W2061462992 hasConcept C80444323 @default.
- W2061462992 hasConceptScore W2061462992C110251889 @default.
- W2061462992 hasConceptScore W2061462992C112505250 @default.
- W2061462992 hasConceptScore W2061462992C115903868 @default.
- W2061462992 hasConceptScore W2061462992C119857082 @default.
- W2061462992 hasConceptScore W2061462992C127413603 @default.
- W2061462992 hasConceptScore W2061462992C128942645 @default.
- W2061462992 hasConceptScore W2061462992C135475081 @default.
- W2061462992 hasConceptScore W2061462992C138885662 @default.
- W2061462992 hasConceptScore W2061462992C152877465 @default.
- W2061462992 hasConceptScore W2061462992C153876917 @default.
- W2061462992 hasConceptScore W2061462992C165825675 @default.
- W2061462992 hasConceptScore W2061462992C199360897 @default.
- W2061462992 hasConceptScore W2061462992C200601418 @default.
- W2061462992 hasConceptScore W2061462992C2777904410 @default.
- W2061462992 hasConceptScore W2061462992C35084680 @default.
- W2061462992 hasConceptScore W2061462992C41008148 @default.
- W2061462992 hasConceptScore W2061462992C41895202 @default.
- W2061462992 hasConceptScore W2061462992C6604083 @default.
- W2061462992 hasConceptScore W2061462992C75291252 @default.
- W2061462992 hasConceptScore W2061462992C80444323 @default.
- W2061462992 hasIssue "2" @default.
- W2061462992 hasLocation W20614629921 @default.
- W2061462992 hasOpenAccess W2061462992 @default.
- W2061462992 hasPrimaryLocation W20614629921 @default.
- W2061462992 hasRelatedWork W159282946 @default.
- W2061462992 hasRelatedWork W2024965224 @default.
- W2061462992 hasRelatedWork W2054637161 @default.
- W2061462992 hasRelatedWork W2061462992 @default.
- W2061462992 hasRelatedWork W2094970017 @default.
- W2061462992 hasRelatedWork W2108155297 @default.
- W2061462992 hasRelatedWork W2113445838 @default.
- W2061462992 hasRelatedWork W2396982116 @default.
- W2061462992 hasRelatedWork W2490062692 @default.
- W2061462992 hasRelatedWork W4255248645 @default.
- W2061462992 hasVolume "2" @default.
- W2061462992 isParatext "false" @default.
- W2061462992 isRetracted "false" @default.
- W2061462992 magId "2061462992" @default.
- W2061462992 workType "article" @default.