SE-2832 Introduction to Software Verification

Dr. Mark Sebern -- Spring quarter 2013-2014

Course overview

Catalog course description

This course introduces students to the fundamental concepts of software verification. Topics covered include the activities within testing, coverage criteria, basic testing techniques and types, basic testability metrics, and the application of testing tools. Laboratory assignments provide extensive opportunities to apply software verification techniques and tools. (prereq: MA 2310, CS 2852)

Course outcomes

On successful completion of this course, the student will:

Textbook and reference materials

Course policies

My general course policies apply to this course.

Grading algorithm

Note that this algorithm indicates how a grade will be determined for students who have successfully demonstrated mastery of the course outcomes. An acceptable level of success in meeting all course outcomes is a prerequisite for a passing grade in the course.