This course covers some of the fundamental concepts, methods, strategies, and techniques related to software verification and validation. Topics included are: Software testing concepts, issues, and principles; boundary value testing; equivalence class testing; decision table-based testing; test coverage metrics; unit testing and test-driven development, path testing; control and data flow testing; usage-based statistical testing; integration testing; combinatorial testing, model-based testing, regression testing, static and dynamic program analysis, formal methods, software inspections and walkthroughs, continuous integration, problem analysis and reporting, and program debugging.