Teaching

CS 4723 Software Validation and Quality Assurance

This course covers the basic concepts and knowledge of software validation and quality assurance. We will introduce various techniques to support software validation and quality assurance, include software testing, software debugging, software verification, anti-pattern checking, and field bug management. As the major software validation approach in practice, software testing will account for a large portion of the course content. We will also discuss some recent research progress on major problems of software validation and quality assurance.


© 2015- Mark A. Robinson