main navigation
my pace

CS 851 Software Validation and Verification Techniques

Course Description: A variety of validation and verification techniques are discussed. The testing process, planning and strategies, statistical testing, tools and approaches on testing. Static verification of software using both traditional and state of the art static analysis tools.


3 credits


CS 616 Min Grade C