Matches in SemOpenAlex for { <https://semopenalex.org/work/W2587367034> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2587367034 abstract "In the context of use-case centric development and requirements-driven testing, this paper addresses the problem of automatically deriving system test cases to verify timing requirements. Inspired by engineering practice in an automotive software development context, we rely on an analyzable form of use case specifications and augment such functional descriptions with timed automata, capturing timing requirements, following a methodology aiming at minimizing modeling overhead. We automate the generation of executable test cases using a test strategy based on maximizing test suite diversity and building over the UPPAAL model checker. Initial empirical results based on an industrial case study provide evidence of the effectiveness of the approach." @default.
- W2587367034 created "2017-02-17" @default.
- W2587367034 creator A5036124105 @default.
- W2587367034 creator A5042872250 @default.
- W2587367034 creator A5078533117 @default.
- W2587367034 date "2017-03-01" @default.
- W2587367034 modified "2023-09-24" @default.
- W2587367034 title "System Testing of Timing Requirements Based on Use Cases and Timed Automata" @default.
- W2587367034 cites W1555711097 @default.
- W2587367034 cites W1584511540 @default.
- W2587367034 cites W1895974704 @default.
- W2587367034 cites W1972375918 @default.
- W2587367034 cites W1988423439 @default.
- W2587367034 cites W1992067444 @default.
- W2587367034 cites W2004090505 @default.
- W2587367034 cites W2011762419 @default.
- W2587367034 cites W2018525611 @default.
- W2587367034 cites W2033463528 @default.
- W2587367034 cites W2051783870 @default.
- W2587367034 cites W2073125568 @default.
- W2587367034 cites W2090908516 @default.
- W2587367034 cites W2101508170 @default.
- W2587367034 cites W2102418068 @default.
- W2587367034 cites W2107360681 @default.
- W2587367034 cites W2109113474 @default.
- W2587367034 cites W2141327607 @default.
- W2587367034 cites W2154569078 @default.
- W2587367034 cites W2233888282 @default.
- W2587367034 cites W4245573853 @default.
- W2587367034 cites W2053144658 @default.
- W2587367034 doi "https://doi.org/10.1109/icst.2017.34" @default.
- W2587367034 hasPublicationYear "2017" @default.
- W2587367034 type Work @default.
- W2587367034 sameAs 2587367034 @default.
- W2587367034 citedByCount "8" @default.
- W2587367034 countsByYear W25873670342017 @default.
- W2587367034 countsByYear W25873670342018 @default.
- W2587367034 countsByYear W25873670342019 @default.
- W2587367034 countsByYear W25873670342020 @default.
- W2587367034 countsByYear W25873670342022 @default.
- W2587367034 crossrefType "proceedings-article" @default.
- W2587367034 hasAuthorship W2587367034A5036124105 @default.
- W2587367034 hasAuthorship W2587367034A5042872250 @default.
- W2587367034 hasAuthorship W2587367034A5078533117 @default.
- W2587367034 hasBestOaLocation W25873670342 @default.
- W2587367034 hasConcept C110251889 @default.
- W2587367034 hasConcept C112505250 @default.
- W2587367034 hasConcept C115903868 @default.
- W2587367034 hasConcept C119857082 @default.
- W2587367034 hasConcept C127413603 @default.
- W2587367034 hasConcept C128942645 @default.
- W2587367034 hasConcept C151552104 @default.
- W2587367034 hasConcept C151730666 @default.
- W2587367034 hasConcept C152877465 @default.
- W2587367034 hasConcept C160145156 @default.
- W2587367034 hasConcept C165825675 @default.
- W2587367034 hasConcept C199360897 @default.
- W2587367034 hasConcept C200601418 @default.
- W2587367034 hasConcept C2779343474 @default.
- W2587367034 hasConcept C41008148 @default.
- W2587367034 hasConcept C80444323 @default.
- W2587367034 hasConcept C86803240 @default.
- W2587367034 hasConceptScore W2587367034C110251889 @default.
- W2587367034 hasConceptScore W2587367034C112505250 @default.
- W2587367034 hasConceptScore W2587367034C115903868 @default.
- W2587367034 hasConceptScore W2587367034C119857082 @default.
- W2587367034 hasConceptScore W2587367034C127413603 @default.
- W2587367034 hasConceptScore W2587367034C128942645 @default.
- W2587367034 hasConceptScore W2587367034C151552104 @default.
- W2587367034 hasConceptScore W2587367034C151730666 @default.
- W2587367034 hasConceptScore W2587367034C152877465 @default.
- W2587367034 hasConceptScore W2587367034C160145156 @default.
- W2587367034 hasConceptScore W2587367034C165825675 @default.
- W2587367034 hasConceptScore W2587367034C199360897 @default.
- W2587367034 hasConceptScore W2587367034C200601418 @default.
- W2587367034 hasConceptScore W2587367034C2779343474 @default.
- W2587367034 hasConceptScore W2587367034C41008148 @default.
- W2587367034 hasConceptScore W2587367034C80444323 @default.
- W2587367034 hasConceptScore W2587367034C86803240 @default.
- W2587367034 hasLocation W25873670341 @default.
- W2587367034 hasLocation W25873670342 @default.
- W2587367034 hasOpenAccess W2587367034 @default.
- W2587367034 hasPrimaryLocation W25873670341 @default.
- W2587367034 hasRelatedWork W1498617606 @default.
- W2587367034 hasRelatedWork W1716350518 @default.
- W2587367034 hasRelatedWork W2154654775 @default.
- W2587367034 hasRelatedWork W2394172897 @default.
- W2587367034 hasRelatedWork W2606342468 @default.
- W2587367034 hasRelatedWork W2606714293 @default.
- W2587367034 hasRelatedWork W2769315485 @default.
- W2587367034 hasRelatedWork W3213279156 @default.
- W2587367034 hasRelatedWork W4290979838 @default.
- W2587367034 hasRelatedWork W52853052 @default.
- W2587367034 isParatext "false" @default.
- W2587367034 isRetracted "false" @default.
- W2587367034 magId "2587367034" @default.
- W2587367034 workType "article" @default.