Software Quality Assurance - Walkinshaw, Neil (Springer International Publishing, 2020)