The book is summarised by reviewingthe topics discussed and practised. It then motivates the software testing process used in the book by tracing all the steps backwards based on the data required by each step. We further provide additional reading material, categoriesed by important topics such as random testing, program proving, testing safety-critical software, etc. The chapter closes with a glimpse into current 'hot' research topics.
Review the options below to login to check your access.
Log in with your Cambridge Higher Education account to check access.
If you believe you should have access to this content, please contact your institutional librarian or consult our FAQ page for further information about accessing our content.