Recent Advancements in Software Reliability Assurance - 9781138363397