After functional and structural verification is complete, the software is randomly or selectively mutated one line at a time to verify the software test cases have the robustness to trap in any inadvertent changes to the software that will violate previous functional validations.