Jun 26, 2024  
2023-2024 Undergraduate and Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Introduction to the University
  Academic Colleges & Offices
  Programs of Study
  Undergraduate Minors
  General Education Curriculum
  Course Descriptions
  Undergraduate Studies
  Graduate School
  University Regulations & Policies
  Services, Facilities, & Activities
  Accelerated Bachelor’s to Master’s Program
  My Catalog
HELP
2023-2024 Undergraduate and Graduate Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSCE 557 - Software Testing and Verification

Credit Hours: 3
Lecture Contact Hours: 3 Lab Contact Hours: 0
Techniques and tools that are used inn the testing and verification of reliable software. Topics include debugging, technical reviews, static analysis, dynamic analysis, test coverage, formal verification techniques, symbolic execution, and automatic test data generation.


Add to Catalog (opens a new window)