* If you need up to date information please refer to Banner Class Schedule

COURSE INFORMATION

COURSE TITLE Software Validation & Verification Techniques
CREDIT RANGE 3.000
SCHOOL Seidenberg School of CSIS
DEPARTMENT Computer Science 
LEVEL Graduate
COREQUISITE none
PREREQUISITE SE 616 Minimum Grade of C
DESCRIPTION:

Course Description: This course covers software validation and verification techniques and their role in the software engineering process and quality assessment. Testing processes, metrics, and a variety of testing techniques (including unit, blackbox/whitebox, structural, security, and performance testing) and supportive tools are introduced. The course also addresses the use of logic to specify and prove properties of programs using model checking and theorem proving.

Course Rotation: Spring;NY



SECTION INFORMATION

CRN: 50257
SUBJECT: SE
COURSE NUMBER: 751
SECTION TITLE: Software Validation & Verification Techniques
CAMPUS: Online
SCHEDULE TYPE: Lecture
REQUIRED MATERIAL: To Be Determined
SECTION COMMENTS: None
COREQUISITE None
FEES: 0
CAPACITY 20
SEATS AVAILABLE 16
INSTRUCTOR: Sotirios Skevoulis
RESTRICTION(S):

Online

Online Type Date
BlackBoard 07/15/2019 - 08/24/2019