Recent Advancements in Software Reliability Assurance