Software Testing, Quality Assurance, and Maintenance

This course introduces students to systematic testing of software systems, software verification, symbolic execution, software debugging, quality assurance, measurement and prediction of software reliability, project management, software maintenance, software reuse and reverse engineering.