Title: Survey of Software Assurance Techniques for Highly Reliable Systems