Apr 20, 2024  
2013-14 Undergraduate Academic Catalog 
    
Catalog Navigation
  Catalog Home
  President’s Welcome
  Academic Calendar
  University Overview
  Enrollment Management Department
  Continuing Studies and Outreach
  Academic Regulations and Policies
  Student Accounts, Fees and Financial Aid
  Other Academic Resources
  Academic Departments, Degree Programs, Minors and Certificates
  Degree Programs, Minors and Certificates
  Two-degree Programs
  Graduate Studies Programs
  Reserve Officer Training Corps (ROTC)
  Course Descriptions
  Board of Regents, Academic Administration, Faculty and Advisory Committees
  Campus Map
  My Portfolio
HELP
2013-14 Undergraduate Academic Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

SE 2832 - Introduction to Software Verification

3 lecture hours 2 lab hours 4 credits
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 )


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)