Recent Advancements in Software Reliability Assurance (Advances in Mathematics and Engineering)