Browsing Kongresuak-Ingeniaritza by Subject "Requirement Specification"
Now showing items 1-1 of 1
-
Model-Based Testing in Practice: An Industrial Case Study using GraphWalker
(ACM, 2021)Model-based testing (MBT) is a test design technique that supports the automation of software testing processes and generates test artefacts based on a system model representing behavioural aspects of the system under test ...