Apr 30, 2026  
2023-2024 Graduate Catalog. 
    
Catalog Navigation
  Catalog Home
  New in the Catalog
  Academics At ETSU
  Programs A – Z
  Programs by Degree
  Online Programs
  Course Descriptions
  Degree and Graduation Requirements
  Attending ETSU
  College of Graduate and Continuing Studies
  Admissions
  Costs, Financial Aid & Scholarships
  Advising & Registration
  Veterans Benefit Programs
  Campus Resources
  Library & Research Facilities
  Policies and Procedures
  Academic Policies and Procedures
  Other Catalog Information
  Academic Calendar
  Notification of Changes
  Graduate Faculty, Coordinators, Council & University Administrators
  Accreditation, Mission, and Vision
  Contact Us
  My Catalog
HELP
2023-2024 Graduate Catalog. [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSCI 5220 - Software Verification and Validation

(3 credits)
Addresses the theory and practice of ensuring high-quality software products. Topics covered include quality assessment, proof of correctness, testing, and limitations of verification and validation methods.

When Offered: Spring, alternate years.


View the Spring 2026 Schedule of Classes

View the Summer 2026 Schedule of Classes

View the Fall 2026 Schedule of Classes



Add to Catalog (opens a new window)