1. CS527: Advanced Topics in Software Engineering (Software Testing and Analysis) Darko Marinov August 23, 2007 2. Course Overview Graduate seminar on program analysis (for…
Slide 1 CS527: (Advanced) Topics in Software Engineering Overview of Software Quality Assurance Tao Xie ©D. Marinov, T. Xie Slide 2 Overview Why look for bugs? What are…