Recent advancements in software reliability assurance[electronic resource]