A taxonomy of model‐based testing approaches | doi.page