Practical model-based testingby Mark Utting, Bruno LegeardAutomationComputer softwareTestingComputer software, testingWriting a summary for young readers…For young readersBook data: Open Library