CS 474 SOFTWARE QUALITY (3-0-3)(S)(Even years) Focus on two traditional verification techniques, testing and program analysis. Emphasis on structural adequacy criteria used in testing as well as experience with open-source tools used to generate test cases and obtain coverage measurements. Static analysis, including theoretical foundations, applications, and tools. PREREQ: CS 471.