Matches in SemOpenAlex for { <https://semopenalex.org/work/W4321062018> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4321062018 abstract "Model-based Testing (MBT) has been proposed to create test cases more efficiently and effectively. In contrast, analysis techniques (e.g., model checking) have been used separately from testing and have shown great potential when applied early in the development process. Still, these are confronted by applicability and scalability issues and work on specific modeling languages. The combined use of MBT and analysis techniques can support engineers in using both dynamic and static techniques. This paper proposes a hybrid approach by combining MBT using GraphWalker (GW) with Model-Based Analysis using UPPAAL by transforming the GW model into UPPAAL timed automata and supporting a combined analysis and testing process. The approach enables the automatic verification of both reachability and deadlock freedom properties to exploit the results obtained from this analysis step to improve the test model before generating and executing test cases on the system under test. The proposed approach can improve the combination of analysis and testing using a promising open-source MBT tool and is currently being evaluated in the context of actual use cases." @default.
- W4321062018 created "2023-02-17" @default.
- W4321062018 creator A5016735339 @default.
- W4321062018 creator A5051387047 @default.
- W4321062018 creator A5062000516 @default.
- W4321062018 date "2022-12-01" @default.
- W4321062018 modified "2023-09-24" @default.
- W4321062018 title "Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL" @default.
- W4321062018 cites W1896160926 @default.
- W4321062018 cites W1991901875 @default.
- W4321062018 cites W2053300798 @default.
- W4321062018 cites W2073670111 @default.
- W4321062018 cites W2100162598 @default.
- W4321062018 cites W2119296494 @default.
- W4321062018 cites W2802543576 @default.
- W4321062018 cites W2811472820 @default.
- W4321062018 cites W2963623343 @default.
- W4321062018 cites W3082472189 @default.
- W4321062018 cites W4235527454 @default.
- W4321062018 doi "https://doi.org/10.1109/apsec57359.2022.00061" @default.
- W4321062018 hasPublicationYear "2022" @default.
- W4321062018 type Work @default.
- W4321062018 citedByCount "1" @default.
- W4321062018 countsByYear W43210620182023 @default.
- W4321062018 crossrefType "proceedings-article" @default.
- W4321062018 hasAuthorship W4321062018A5016735339 @default.
- W4321062018 hasAuthorship W4321062018A5051387047 @default.
- W4321062018 hasAuthorship W4321062018A5062000516 @default.
- W4321062018 hasConcept C108913964 @default.
- W4321062018 hasConcept C110251889 @default.
- W4321062018 hasConcept C112505250 @default.
- W4321062018 hasConcept C119857082 @default.
- W4321062018 hasConcept C127413603 @default.
- W4321062018 hasConcept C128942645 @default.
- W4321062018 hasConcept C136643341 @default.
- W4321062018 hasConcept C151730666 @default.
- W4321062018 hasConcept C152877465 @default.
- W4321062018 hasConcept C154945302 @default.
- W4321062018 hasConcept C159023740 @default.
- W4321062018 hasConcept C165696696 @default.
- W4321062018 hasConcept C165825675 @default.
- W4321062018 hasConcept C199360897 @default.
- W4321062018 hasConcept C200601418 @default.
- W4321062018 hasConcept C2779343474 @default.
- W4321062018 hasConcept C38652104 @default.
- W4321062018 hasConcept C41008148 @default.
- W4321062018 hasConcept C48044578 @default.
- W4321062018 hasConcept C77088390 @default.
- W4321062018 hasConcept C80444323 @default.
- W4321062018 hasConcept C86803240 @default.
- W4321062018 hasConcept C97686452 @default.
- W4321062018 hasConcept C98045186 @default.
- W4321062018 hasConceptScore W4321062018C108913964 @default.
- W4321062018 hasConceptScore W4321062018C110251889 @default.
- W4321062018 hasConceptScore W4321062018C112505250 @default.
- W4321062018 hasConceptScore W4321062018C119857082 @default.
- W4321062018 hasConceptScore W4321062018C127413603 @default.
- W4321062018 hasConceptScore W4321062018C128942645 @default.
- W4321062018 hasConceptScore W4321062018C136643341 @default.
- W4321062018 hasConceptScore W4321062018C151730666 @default.
- W4321062018 hasConceptScore W4321062018C152877465 @default.
- W4321062018 hasConceptScore W4321062018C154945302 @default.
- W4321062018 hasConceptScore W4321062018C159023740 @default.
- W4321062018 hasConceptScore W4321062018C165696696 @default.
- W4321062018 hasConceptScore W4321062018C165825675 @default.
- W4321062018 hasConceptScore W4321062018C199360897 @default.
- W4321062018 hasConceptScore W4321062018C200601418 @default.
- W4321062018 hasConceptScore W4321062018C2779343474 @default.
- W4321062018 hasConceptScore W4321062018C38652104 @default.
- W4321062018 hasConceptScore W4321062018C41008148 @default.
- W4321062018 hasConceptScore W4321062018C48044578 @default.
- W4321062018 hasConceptScore W4321062018C77088390 @default.
- W4321062018 hasConceptScore W4321062018C80444323 @default.
- W4321062018 hasConceptScore W4321062018C86803240 @default.
- W4321062018 hasConceptScore W4321062018C97686452 @default.
- W4321062018 hasConceptScore W4321062018C98045186 @default.
- W4321062018 hasFunder F4320321030 @default.
- W4321062018 hasLocation W43210620181 @default.
- W4321062018 hasOpenAccess W4321062018 @default.
- W4321062018 hasPrimaryLocation W43210620181 @default.
- W4321062018 hasRelatedWork W2060993374 @default.
- W4321062018 hasRelatedWork W2124858373 @default.
- W4321062018 hasRelatedWork W2127733894 @default.
- W4321062018 hasRelatedWork W2155116825 @default.
- W4321062018 hasRelatedWork W2330960160 @default.
- W4321062018 hasRelatedWork W3199168750 @default.
- W4321062018 hasRelatedWork W3205487340 @default.
- W4321062018 hasRelatedWork W38902447 @default.
- W4321062018 hasRelatedWork W4297898049 @default.
- W4321062018 hasRelatedWork W4321062018 @default.
- W4321062018 isParatext "false" @default.
- W4321062018 isRetracted "false" @default.
- W4321062018 workType "article" @default.