Introduces students to systematic testing of software systems. Software verification, reviews, metrics, quality assurance, and prediction of software reliability and availability. Related management issues. [Note: Lab is not scheduled and students are expected to find time in open hours to complete their work. Offered: W] Prereq: (ECE 155, 254) or ECE 354; Level at least 3A Computer Engineering or Electrical Engineering. Antireq: SE 465(Cross-listed with CS 447)