Testing Idempotence for Infrastructure as Code
A taxonomy of model-based testing approaches