I took this to mean code correctness and thus a measure of stability and security as added benefits. Generally assurance implies some level of confidence that the application will behave predictably even in the face of unpredictable inputs and will revert to sane defaults whenever possible.