CMSC 525: Int Software Analysis, Test & Ver

An introduction to concepts and techniques used in the analysis of software for certain properties. Using analytic results to derive test data and verify the correct implementation of programs. Flow graphs, fault/failure model, theoretical and practical limitations. Control flow, data flow and error flow analyses. Testing strategies including random, structural, mutation and error flow. Software metrics. 

Total Credit Hours: 3
Spring 2019
CMSC 401 & 403, graduate student standing or acceptance into the five-year accelerated B.S. and M.S. program in computer science
Kostadin Damevski
Instructor Email:

Weekly Live Sessions

Mon Tue Wed Thu Fri Sat
3:30 - 4:45 PM 3:30 - 4:45 PM

Back to Search Results

Questions? Contact the VCU CGEP Director:

Dr. Gregory Triplett   •   Ph: (804) 828-5387   •