CS 613 - Software Testing
Discussion of the major techniques of software testing: software technical reviews, software testing techniques, proofs of correctness, and simulation/prototyping. Concludes with guidelines on organizational implications of software verification and validation activities. Three credits.

Close