Apr 18, 2024  
Graduate Record 2021-2022 
    
Catalog Navigation
  Catalog Home
  University of Virginia
  Board of Visitors and University Administration
  Academic Calendar
  University Regulations
  Dining, Housing, and Tuition & Fees
  Financial Aid
  Programs and Degrees Offered
  Course Numbering Information
  Graduate School of Arts & Sciences
  School of Architecture
  Darden Graduate School of Business Administration
  McIntire School of Commerce
  School of Education and Human Development
  School of Engineering and Applied Science
  School of Law
  School of Medicine
  Frank Batten School of Leadership and Public Policy
  School of Nursing
  School of Continuing and Professional Studies
  School of Data Science
  Course Descriptions
  Additional Academic Opportunities
  Student Services
  Military Educational Benefits
  Archived Records
HELP
Graduate Record 2021-2022 [ARCHIVED RECORD]

CS 6888 - Software Analysis and Applications

Effective Start Date: 01/01/2020
This course provides an overview of the state of the art in software analysis including static and dynamic analysis techniques and verification and validation. It explores the various ways that the analyses are used to predict software behavior. The applications include inference, symbolic execution, fault localization, model checking, security and performance. The course combines theory with practical implementation and usage. Prerequisites: CS 3240.

Credits: 3
Grading Basis: Graded